Strategies for Automated Specification-Based Testing of Synchronous Software

Ioannis Parissis, Jérôme Vassy. Strategies for Automated Specification-Based Testing of Synchronous Software. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 364-367, IEEE Computer Society, 2001. [doi]

Authors

Ioannis Parissis

This author has not been identified. It may be one of the following persons: Look up 'Ioannis Parissis' in Google

Jérôme Vassy

This author has not been identified. Look up 'Jérôme Vassy' in Google