Preamble computation in automated test case generation using constraint logic programming

Séverine Colin, Bruno Legeard, Fabien Peureux. Preamble computation in automated test case generation using constraint logic programming. Softw. Test., Verif. Reliab., 14(3):213-235, 2004. [doi]

Abstract

Abstract is missing.