Full Text Documents Search Links IFIP website IFIP TC6 Open DL

Table of Contents Testing Software and Systems Brian Nielsen, CarstenWeise (Eds.) Front Matter Invited Keynote Talks Requirements-Driven Log Analysis (Extended Abstract) Klaus Havelund 1-4 Active Learning of Extended Finite State Machines Frits Vaandrager 5-7 Testing in Practice Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools Jörg Brauer, Jan Peleska, Uwe Schulze 8-23 Managing Execution Environment Variability during Software Testing: An Industrial Experience Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb 24-38 A Technique for Agile and Automatic Interaction Testing for Product Lines Martin Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien 39-54 CaPTIF: Comprehensive Performance TestIng Framework Daniel Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer 55-70 Test Frameworks for Distributed Systems Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel 71-86 Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol Nanxing Chen, César Viho 87-102 Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel 103-118 Testing of Embedded Systems Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing Boutheina Bannour, Jose Escobedo, Christophe Gaston, Pascale Gall 119-135 Querying Parametric Temporal Logic Properties on Embedded Systems Hengyi Yang, Bardh Hoxha, Georgios Fainekos 136-151 State Estimation and Property-Guided Exploration for Hybrid Systems Testing Thao Dang, Noa Shalev 152-167 Test Optimization Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes Angelo Gargantini, Marco Guarnieri, Eros Magri 168-183 Using Behaviour Inference to Optimise Regression Test Sets Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick 184-199 New Testing Methods Machine Learning Approach in Mutation Testing Joanna Strug, Barbara Strug 200-214 Lightweight Automatic Error Detection by Monitoring Collar Variables João Santos, Rui Abreu 215-230 Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino 231-246 Parameterized GUI Tests Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski 247-262

Designed by Inria-IES Team :     Hosted by HAL :