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 L. Heitmeyer

 15

A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem.

Rafael da 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 C. Briand

 63-78

Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems.

Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß

 79-94

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.

Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. 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 de Halleux

 142-157

Test Data Generation for Programs with Quantified First-Order Logic Specifications.

Christoph 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 Hallal, Sergiy Boroday

 236-249

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.

Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon

 250-265