Abstract is missing.
- Requirements-Driven Log Analysis (Extended Abstract)Klaus Havelund. 1-4 [doi]
- Active Learning of Extended Finite State MachinesFrits W. Vaandrager. 5-7 [doi]
- Efficient and Trustworthy Tool Qualification for Model-Based Testing ToolsJörg Brauer, Jan Peleska, Uwe Schulze. 8-23 [doi]
- Managing Execution Environment Variability during Software Testing: An Industrial ExperienceAymeric Hervieu, Benoit Baudry, Arnaud Gotlieb. 24-38 [doi]
- A Technique for Agile and Automatic Interaction Testing for Product LinesMartin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien. 39-54 [doi]
- CaPTIF: Comprehensive Performance TestIng FrameworkDaniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer. 55-70 [doi]
- Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed SystemsMariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel. 71-86 [doi]
- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP ProtocolNanxing Chen, César Viho. 87-102 [doi]
- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed SystemsMariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel. 103-118 [doi]
- Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance TestingBoutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall. 119-135 [doi]
- Querying Parametric Temporal Logic Properties on Embedded SystemsHengyi Yang, Bardh Hoxha, Georgios E. Fainekos. 136-151 [doi]
- State Estimation and Property-Guided Exploration for Hybrid Systems TestingThao Dang, Noa Shalev. 152-167 [doi]
- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure ChangesAngelo Gargantini, Marco Guarnieri, Eros Magri. 168-183 [doi]
- Using Behaviour Inference to Optimise Regression Test SetsRamsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick. 184-199 [doi]
- Machine Learning Approach in Mutation TestingJoanna Strug, Barbara Strug. 200-214 [doi]
- Lightweight Automatic Error Detection by Monitoring Collar VariablesJoão Santos, Rui Abreu. 215-230 [doi]
- Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density DistributionAkihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino. 231-246 [doi]
- Parameterized GUI TestsStephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski. 247-262 [doi]