Click here to see the full programm of the week

Monday the 8th of November

09:00-09:30Opening of the Conference
09:30-10:30Short Papers Session 1AShort Papers Session 1B
A. Kosachev and I. Burdonov
Formal Conformance Verification
A. Bertolino, E. Cartaxo, P. Machado, E. Marchetti and J. Ouriques
Test Suite Reduction in Good Order: Comparing Heuristics from a New Viewpoint
I. Mahmood, R. Ayani, V. Vlassov and F. Moradi
Composability Test of BOM Based Models Using Petri Nets
A. Banzi, G. Pinheiro, J. Árias, T. Nobre, A. Pozo and S. Vergilio
A Multi-objective Tabu Search Algorithm for Reducing Mutation Test Costs
10:30-11:00Coffee Break
11:00-12:30Short Papers Session 2AShort Papers Session 2B
O. L. N. Timo, H. Marchand and A. Rollet
Automatic Test Generation for Data-Flow Reactive Systems with Time Constraints
A. Pasala and N. S. Dsouza
A Code Based Approach to Generate Functional Test Scenarios for Testing of Re-hosted Applications
J. Palczynski, C. Weise and S. Kowalewski
Testing Continuous Systems Conformance Using Cross Correlation
C. Pons and F. Palacios
A Tool for Automatic Generation of Executable Code from Test Models
A. Q. Macedo, W. L. Andrade, D. Rodrigues and P. Machado
Automating Test Case Execution for Real-Time Embedded Systems
A. Moreira, E. Matos, F. Souza and R. Coelho
Generating Test Cases From B Specifications: An Industrial Case Study
14:00-15:30Short Papers Session 3AShort Papers Session 3B
D. Ulmer and S. Wittel
Approach for a Real-Time Hardware-in-the-Loop System Based on a Variable Step-Size Simulation
M. Brito, K. Felizardo, P. Souza and S. Souza
Concurrent Software Testing: A Systematic Review
M. Kropp and P. Morales
Automated GUI Testing on the Android Platform
A. Dias-Neto and G. Travassos
Evolving a Computerized Infrastructure to Support the Selection of Model-Based Testing Techniques
A. Rocha, P. Machado and F. Ramalho
Automating Inspection of Design Models Guided by Test Cases
F. C. Carvalho and J. M. P. Oliveira
Using Probabilistic Model Checking for Safety Analysis of Complex Airborne Electronic Systems
15:30-16:00Coffee Break
16:00-17:00Short Papers Session 4AShort Papers Session 4B
Kh. El-Fakih, R. Groz, M. N. Irfan and M. Shahbaz
Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context
S. Alawneh and D. Peters
Test Driven Development with Oracles and Formal Specifications
L. B. Briones
Assume-guarantee Reasoning with IOCO Testing Relation
E. Collins and V. F. de Lucena J.
Iterative Software Testing Process for Scrum and Waterfall Projects with Open Source Testing Tools Experience
19:00-21:00Welcome Cocktail

Tuesday the 9th of November

9:00-10:00 Keynote by Ina Schieferdecker
Test Automation with TTCN-3: State of the Art and a Future Perspective
10:00-10:30 Coffee Break
10:30-12:00 Full Papers Session 1
Y. Falcone, J.-C. Fernandez, T. Jeron, H. Marchand and L. Mounier
More Testable Properties
M. Veanes and N. Bjorner
Alternating Simulation and IOCO
R. Cabral, A. Pozo and S. Vergilio
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem
12:00-14:00 Lunch
14:00-15:30 Full Papers Session 2
H. Hemmati, A. Arcuri and L. Briand
Reducing the Cost of Model-Based Testing through Test Case Diversity
Y. Le Traon, R. Delamare, F. Munoz and B. Baudry
Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases
E. Piel, A. Gonzalez-Sanchez and H.-G. Gross
Built-in Data-flow Integration Testing in Large-Scale Component-Based Systems
15:30-16:00 Coffee Break
16:00-17:00 Full Papers Session 3
A. Arcuri, M. Z. Z. Iqbal and L. Briand
Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing
K. Lakhotia, N. Tillmann, M. Harman and J. de Halleux
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
17:30-18:30 PC Meeting

Wednesday the 10th of November

9:00-10:00 Keynote by Constance Heitmeyer
A Model-Based Approach to Testing Software for Critical Behavior and Properties
10:00-10:30 Coffee Break
10:30-12:00 Full Papers Session 4
E. C. de Almeida, J. E. Marynowski, G. Sunye, Y. Le Traon and P. Valduriez
A Distributed Testing Architecture for Large Scale Systems
A. Ulrich, E. Alikacem, H. Hallal and S. Boroday
From Scenarios to Test Implementations via Promela
H. Shinbo, A. Tagami, S. Ano, T. Hasegawa and K. Suzuki
Practical End-to-End Performance Testing Tool for High Speed 3G-based Networks
12:00-14:00 Lunch
14:00-15:30 Full Papers Session 5
C. Gladisch
Test Data Generation For Programs with Quantified First-order Logic Specifications
K. Meinke and F. Niu
A Learning-based Approach to Unit Testing of Numerical Software
F. Aarts, B. Jonsson and J. Uijen
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction
15:30-16:00 Coffee Break
16:00-17:00 Full Papers Session 6
B. P. Lamancha and M. Polo
Testing Product Generation in Software Product Lines using Pair-wise for Features Coverage
N. Walkinshaw, K. Bogdanov, J. Derrick and J. Paris
Increasing Functional Coverage by Inductive Testing: A Case Study
17:00 -17:30 Closing ICTSS
20:00-23:00 Conference Dinner