Testing Software and Systems
Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado |
Front Matter |
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 |
Efficient Distributed Test Architectures for Large-Scale Systems
Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez |
174-187 |
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction
Fides Aarts, Bengt Jonsson, Johan Uijen |
188-204 |
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 |
