CA:BPG07

S. Boroday, A. Petrenko, R. Groz. Can a Model-Checker generate Tests for Non-Deterministic Systems. In Third Workshop on Model-Based Testing (MBT), Pages 3-19, Braga, Portugal, March 2007.

Contact

Roland Groz

BibTex Reference

@InProceedings{CA:BPG07,
   Author = {Boroday, S. and Petrenko, A. and Groz, R.},
   Title = {Can a Model-Checker generate Tests for Non-Deterministic Systems},
   BookTitle = {Third Workshop on Model-Based Testing (MBT)},
   Pages = {3--19},
   Address = {Braga, Portugal},
   Month = {March},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)