Full Text Documents

Search


 
Table of Contents
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction
Fides Aarts, Bengt Jonsson, Johan Uijen
 
Testing Software and Systems
Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado
Front Matter
Efficient Distributed Test Architectures for Large-Scale Systems
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez
 
Test Automation with TTCN-3 - State of the Art and a Future Perspective
Ina Schieferdecker
1-14
A Model-Based Approach to Testing Software for Critical Behavior and Properties
Constance Heitmeyer
15-15
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem
Rafael Veiga Cabral, Aurora Pozo, Silvia Regina Vergilio
16-29
More Testable Properties
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
30-46
Alternating Simulation and IOCO
Margus Veanes, Nikolaj Bjørner
47-62
Reducing the Cost of Model-Based Testing through Test Case Diversity
Hadi Hemmati, Andrea Arcuri, Lionel Briand
63-78
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems
Éric Piel, Alberto Gonzalez-Sanchez, Hans-Gerhard Gross
79-94
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing
Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand
95-110
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage
Beatriz Pérez Lamancha, Macario Polo Usaola
111-125
Increasing Functional Coverage by Inductive Testing: A Case Study
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris
126-141
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan Halleux
142-157
Test Data Generation for Programs with Quantified First-Order Logic Specifications
Christoph D. Gladisch
158-173
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks
Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki
205-220
A Learning-based Approach to Unit Testing of Numerical Software
Karl Meinke, Fei Niu
221-235
From Scenarios to Test Implementations Via Promela
Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday
236-249
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Traon
250-265