ASM2001 Gargantini, Angelo Riccobene, Elvinia

ASM-based Testing: Coverage criteria and Automatic tests Generation

in ASM 2001, EUROCAST 2001, Casa de Col\'on, Las Palmas de Gran Canaria, Spain, Feb. 19-23 2001 (2001)

In this paper we show how ASMs can be used to define several coverage criteria and to generate tests using a model checker.

My sw links