Monday the 8th of November
| 08:30-09:00 | Registration |
| 09:00-09:30 | Opening of the Conference |
| 09:30-10:30 | Short Papers Session 1A | Short 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:00 | Coffee Break |
| 11:00-12:30 | Short Papers Session 2A | Short 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 |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Short Papers Session 3A | Short 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:00 | Coffee Break |
| 16:00-17:00 | Short Papers Session 4A | Short 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:00 | Welcome 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
|
|