Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).

Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta

Browse the full ICSE paper archive.