IFIP TC6 Open Digital Library

24. ICTSS 2012: Aalborg, Denmark

Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Brian Nielsen, Carsten Weise

Springer, Lecture Notes in Computer Science 7641, ISBN: 978-3-642-34690-3


Invited Keynote Talks

Requirements-Driven Log Analysis (Extended Abstract).

Klaus Havelund


Active Learning of Extended Finite State Machines.

Frits W. Vaandrager


Testing in Practice

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools.

Jörg Brauer, Jan Peleska, Uwe Schulze


Managing Execution Environment Variability during Software Testing: An Industrial Experience.

Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb


A Technique for Agile and Automatic Interaction Testing for Product Lines.

Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien


CaPTIF: Comprehensive Performance TestIng Framework.

Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer


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


Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol.

Nanxing Chen, César Viho


Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.

Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel


Testing of Embedded Systems

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall


Querying Parametric Temporal Logic Properties on Embedded Systems.

Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos


State Estimation and Property-Guided Exploration for Hybrid Systems Testing.

Thao Dang, Noa Shalev


Test Optimization

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes.

Angelo Gargantini, Marco Guarnieri, Eros Magri


Using Behaviour Inference to Optimise Regression Test Sets.

Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick


New Testing Methods

Machine Learning Approach in Mutation Testing.

Joanna Strug, Barbara Strug


Lightweight Automatic Error Detection by Monitoring Collar Variables.

João Santos, Rui Abreu


Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution.

Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino


Parameterized GUI Tests.

Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski