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