Full Text Documents

Search


 
Table of Contents
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