 |
|
Accepted papers:
- Garrett Kaminski and Paul Ammann. Applications of Heuristics and Optimization to Logic Testing
- Pierre-Cyrille Heam, Vincent Hugot and Olga Kouchnarenko. SAT Solvers for Queries over Tree Automata with Constraints
- Franz Wotawa, Mihai Nica and Bernhard Aichernig. Generating Distinguishing Tests using the MINION Constraint Solver
- Pierre-Christophe Bue, Frederic Dadeau and Pierre-Cyrille Heam. Model Based Testing using Symbolic Animation and Machine Learning
- Bruno Berstel and Michel Leconte. Using Constraints to Verify Properties of Rule Programs
- Rohan Sharma, Milos Gligoric, Vilas Jagannath and Darko Marinov. A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
|
