default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24. ICTSS 2012: Aalborg, Denmark
- Brian Nielsen
, Carsten Weise:
Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7641, Springer 2012, ISBN 978-3-642-34690-3
Invited Keynote Talks
- Klaus Havelund:
Requirements-Driven Log Analysis (Extended Abstract). 1-4 - Frits W. Vaandrager:
Active Learning of Extended Finite State Machines. 5-7
Testing in Practice
- Jörg Brauer, Jan Peleska, Uwe Schulze:
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. 8-23 - Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb:
Managing Execution Environment Variability during Software Testing: An Industrial Experience. 24-38 - Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien:
A Technique for Agile and Automatic Interaction Testing for Product Lines. 39-54 - Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer:
CaPTIF: Comprehensive Performance TestIng Framework. 55-70
Test Frameworks for Distributed Systems
- Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel:
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. 71-86 - Nanxing Chen, César Viho:
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol. 87-102 - Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel:
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. 103-118
Testing of Embedded Systems
- Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. 119-135 - Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos:
Querying Parametric Temporal Logic Properties on Embedded Systems. 136-151 - Thao Dang, Noa Shalev:
State Estimation and Property-Guided Exploration for Hybrid Systems Testing. 152-167
Test Optimization
- Angelo Gargantini, Marco Guarnieri, Eros Magri:
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. 168-183 - Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick:
Using Behaviour Inference to Optimise Regression Test Sets. 184-199
New Testing Methods
- Joanna Strug, Barbara Strug:
Machine Learning Approach in Mutation Testing. 200-214 - João A. M. Santos, Rui Abreu:
Lightweight Automatic Error Detection by Monitoring Collar Variables. 215-230 - Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino:
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution. 231-246 - Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski:
Parameterized GUI Tests. 247-262
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-18 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
