Based Approach to Testing Software for Critical Behavior and Properties (Abstract of Invited Talk), p.15 ,
Briand Built-in Data-Flow Integration Testing in Large-Scale Component-Based Systems ,
System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing, p.95 ,
Briand Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage, p.111 ,
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 ,
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 ,
Toru Hasegawa, and Kenji Suzuki A Learning-Based Approach to Unit Testing of Numerical Software, p.221 ,
Niu From Scenarios to Test Implementations via, p.236 ,