Fabien Peureux Preamble computation in automated test case generation using constraint logic programming (2004)

by Séverine Colin, Bruno Legeard
Venue:Software Testing, Verification and Reliability