Abstract is missing.
- Test Automation with TTCN-3 - State of the Art and a Future PerspectiveIna Schieferdecker. 1-14 [doi]
- A Model-Based Approach to Testing Software for Critical Behavior and PropertiesConstance L. Heitmeyer. 15 [doi]
- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order ProblemRafael da Veiga Cabral, Aurora Pozo, Silvia Regina Vergilio. 16-29 [doi]
- More Testable PropertiesYliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. 30-46 [doi]
- Alternating Simulation and IOCOMargus Veanes, Nikolaj Bjørner. 47-62 [doi]
- Reducing the Cost of Model-Based Testing through Test Case DiversityHadi Hemmati, Andrea Arcuri, Lionel C. Briand. 63-78 [doi]
- Built-In Data-Flow Integration Testing in Large-Scale Component-Based SystemsÉric Piel, Alberto Gonzalez-Sanchez, Hans-Gerhard Gross. 79-94 [doi]
- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based TestingAndrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand. 95-110 [doi]
- Testing Product Generation in Software Product Lines Using Pairwise for Features CoverageBeatriz Pérez Lamancha, Macario Polo Usaola. 111-125 [doi]
- Increasing Functional Coverage by Inductive Testing: A Case StudyNeil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris. 126-141 [doi]
- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic ExecutionKiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux. 142-157 [doi]
- Test Data Generation for Programs with Quantified First-Order Logic SpecificationsChristoph Gladisch. 158-173 [doi]
- Efficient Distributed Test Architectures for Large-Scale SystemsEduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. 174-187 [doi]
- Generating Models of Infinite-State Communication Protocols Using Regular Inference with AbstractionFides Aarts, Bengt Jonsson, Johan Uijen. 188-204 [doi]
- Practical End-to-End Performance Testing Tool for High Speed 3G-Based NetworksHiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki. 205-220 [doi]
- A Learning-Based Approach to Unit Testing of Numerical SoftwareKarl Meinke, Fei Niu. 221-235 [doi]
- From Scenarios to Test Implementations Via PromelaAndreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday. 236-249 [doi]
- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test CasesRomain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon. 250-265 [doi]