A holistic approach to test-driven model checking - Belli, Fevzi; Güldali, Baris (Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy))