1. Automatic generation of test scripts from formal test specifications;Balcer,1990
2. Bertolino, A., Fantechi, A., Gnesi, S., Lami, G., Maccari, A., 2002. Use Case Description of Requirements for Product Lines, REPL’02, Essen, Germany, Avaya Labs Tech. Re ALR-2002-033.
3. Use Case-based Testing of Product Lines;Bertolino,2003
4. Testing Object-Oriented Systems;Binder,1999