Model-based testing: Challenges ahead

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2005, Pages 330-

  Heimdahl, Mats P E ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34248564895     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2005.110     Document Type: Conference Paper

References (1)

1. Mats P.E. Heimdahl, George Devaraj, and Robert J. Weber. Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE), Tampa, Florida, March 2004.