I. Schieferdecker, A. Model, and .. , Based Approach to Testing Software for Critical Behavior and Properties (Abstract of Invited Talk), p.15

H. Hemmati, A. Arcuri, and L. , Briand Built-in Data-Flow Integration Testing in Large-Scale Component-Based Systems

.. Black-box, System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing, p.95

A. Arcuri, M. Z. Iqbal, and L. , Briand Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage, p.111

.. .. Systems, 142 Kiran Lakhotia, Nikolai Tillmann, Mark Harman, and Jonathan de Halleux Test Data Generation for Programs with Quantified First-Order Logic Specifications, FloPSy ? Search-Based Floating Point Constraint Solving for Symbolic Execution, p.174

E. Cunha-de-almeida, J. E. Marynowski, G. Sunyé, and .. , Yves Le Traon, and Patrick Valduriez Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction 188 Fides Aarts, Bengt Jonsson, and Johan Uijen Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks, p.205

H. Shinbo, A. Tagami, and S. Ano, Toru Hasegawa, and Kenji Suzuki A Learning-Based Approach to Unit Testing of Numerical Software, p.221

K. Meinke, F. Promela, and .. , Niu From Scenarios to Test Implementations via, p.236