ICTSS2013
The 25th IFIP International Conference on Testing Software and Systems
Nov 13-15, 2013
Istanbul, Turkey

You are here

Program:

November 13, 2013

08:00 Registration starts
09:00-11:45

Tutorial

"Survey of Bug Localization Approaches using Dynamic Analysis"
Jason Lee

11:45-12:45 Lunch break
12:45-13:15 ICTSS 2013 Opening
13:15-14:15

Invited Talk
Session Chair: Hüsnü Yenigün

"Some Observations on Progress in Formal Methods for Testing"
Alexandre Petrenko

14:15-14:30 Coffee break
14:30-16:00

Session 1: Test Suite Selection and Effort Estimation
Session Chair: Guy-Vincent Jourdan

"Variations over Test Suite Reduction"
Dennis Guttinger, Vitaly Kozyura, Dominik Kremer and Sebastian Wieczorek

"Chaining Test Cases for Reactive System Testing"
Peter Schrammel, Tom Melham and Daniel Kroening

"Predicting the Size of Test Suites from Use Cases: An Empirical Exploration"
Mourad Badri, Linda Badri and William Flageol

16:00-16:15 Coffee break
16:15

PhD Workshop
Session Chair: João Pascoal Faria

"Runtime Verification Driven Debugging of Replayed Errors"
Hanno Eichelberger, Thomas Kropf, Thomas Greiner and Wolfgang Rosenstiel

"Debugging as a Service for Localizing Concurrency Faults"
Feyzullah Koca, Hasan Sozer, Rui Abreu and İsmail Arı

17:15

Reception & Banquet Dinner

November 14, 2013

09:00-10:00

Invited Talk
Session Chair: Cemal Yilmaz

"From Active Testing to Monitoring Techniques. Application to Test Secure Interoperability."
Ana R. Cavalli

10:00-10:30 Coffee break
10:30-12:00

Session 2: Model-Based Testing I
Session Chair: Robert M. Hierons

"Exhaustive Model-Based Equivalence Class Testing"
Wen-Ling Huang and Jan Peleska

"Using Logic Coverage to Improve Testing Function Block Diagrams"
Eduard Paul Enoiu, Daniel Sundmark and Paul Pettersson

"Automatic Grammar-based Test Generation"
Hai-Feng Guo and Zongyan Qiu

12:00-13:00 Lunch break
13:00-14:30

Session 3: Tools and Languages I
Session Chair: Jan Peleska

"Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan"
Andreas Ibing

"Case Studies in Learning-based Testing"
Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu and Peter Y. H. Wong

"A Tool for Supporting Developers in Analyzing the Security of Web-based Security Protocols"
Giancarlo Pellegrino, Luca Compagna and Thomas Moreggia

14:30-15:00 Coffee break
15:00-16:30

Session 4: Testing Timed and Concurrent Systems
Session Chair: Karl Meinke
   
"Unfolding-based Test Selection for Concurrent Conformance"
Hernan Ponce de Leon, Stefan Haar and Delphine Longuet

"Remote testing of timed specifications"
Alexandre David, Kim G. Larsen, Marius Miku cionis, Omer L. Nguena Timo and Antoine Rollet

"An Implementation Relation and Test Framework for Timed Distributed Systems"
Christophe Gaston, Robert M. Hierons and Pascale Le Gall

 

PC Meeting

 

November 15, 2013

09:00-10:00

Invited Talk
Session Chair: Andreas Ulrich

"ARTEMIS Project MBAT: Combining Model-based Testing and Static Analysis to Improve Quality and Reduce Efforts"
Jens Herrmann

10:00-10:30 Coffee break
10:30-12:00

Session 5: Model-Based Testing II
Session Chair: Mercedes Merayo
   
"Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines"
Natalia Kushik, Khaled El-Fakih and Nina Yevtushenko

"Towards a GUI Test Model Using State Charts and Programming Code"
Daniel Mauser, Alexander Klaus and Konstantin Holl

"EAST-ADL Tailored Testing: From System Models to Executable Test Cases"
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu and Paul Pettersson

12:00-13:00 Lunch break
13:00-14:30

Session 6: Tools and Languages II
Session Chair: Nina Yevtushenko
   
"Finding Errors in Python Programs Using Dynamic Symbolic Execution"
Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel and Edmund M. Clarke

"Techniques and Toolset for Conformance Testing against UML Sequence Diagrams"
Joao Pascoal Faria, Ana C. R. Paiva and Mario Ventura De Castro

"Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3"
Bernard Stepien and Liam Peyton

14:30-15:00 Coffee break
15:00-16:30

Session 7: Debugging
Session Chair: Manuel Nunez
   
"Spectrum-based Fault Localization for Diagnosing Concurrency Faults"
Feyzullah Koca, Hasan Sozer and Rui Abreu

"A Dynamic Approach to Locating Memory Leaks"
Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks

"Guided Algebraic Specification Mining for Failure Simplification"
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage

16:30 Closing and ICTSS 2014

 

List of accepted papers:

  • Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage.
    Guided algebraic specification mining for failure simplification
  • Alexandre David, Marius Mikučionis, Kim G. Larsen, Omer Landry Nguena Timo and Antoine Rollet.
    Remote testing of timed specifications
  • Andreas Ibing.
    Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan
  • Bernard Stepien and Liam Peyton.
    Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3
  • Christophe Gaston, Rob Hierons and Pascale Le Gall.
    Model based testing of timed distributed systems
  • Daniel Mauser, Alexander Klaus and Konstantin Holl.
    Towards a GUI Test Model Using State Charts and Programming Code
  • Eduard Paul Enoiu, Daniel Sundmark and Paul Pettersson.
    Using Logic Coverage to Improve Testing Function Block Diagrams
  • Feyzullah Koca, Hasan Sozer and Rui Abreu.
    Spectrum-based Fault Localization for Diagnosing Concurrency Faults
  • Giancarlo Pellegrino, Luca Compagna and Thomas Moreggia.
    A Tool for Supporting Developers in Analyzing the Security of Web-based Security Protocols
  • Hai-Feng Guo and Zongyan Qiu.
    Automatic Grammar-based Test Generation
  • Hernán Ponce de León, Stefan Haar and Delphine Longuet.
    Unfolding-based Test Selection for Concurrent Conformance
  • Jan Peleska and Wen-Ling Huang.
    Exhaustive Model-Based Equivalence Class Testing
  • João Faria, Ana Paiva and Mário Castro.
    Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
  • Karl Meinke, Fei Niu, Muddassar Sindhu, Peter Wong, Simon Lundmark and Lei Feng.
    Case Studies in Learning-based Testing
  • Kostyantyn Vorobyov, Paddy Krishnan and Phil Stocks.
    A Tunable Monitoring Approach to Locating Memory Leaks
  • Mourad Badri, Linda Badri and William Flageol.
    Predicting the Size of Test Suites Using Use Cases: An Empirical Exploration
  • Natalia Kushik, Khaled El-Fakih and Nina Yevtushenko.
    Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines
  • Peter Schrammel, Tom Melham and Daniel Kroening.
    Chaining Test Cases for Reactive System Testing
  • Samir Sapra, Marius Minea, Arie Gurfinkel, Sagar Chaki and Edmund Clarke.
    Finding errors in Python programs using dynamic symbolic execution
  • Sebastian Wieczorek, Vitaly Kozyura, Dennis Güttinger and Dominik Kremer.
    Variations over Test Suite Reduction

Camera Ready Information:

The authors of accepted papers need to upload a single zip archive to EasyChair by August 27. The uploaded zip archive must include

  • the PDF version of the camera ready copy
  • all the source files necessary to build the PDF

We also need the IFIP-LNCS copyright form. Please upload the signed and scanned form also to EasyChair.