Strategies for Automated Specification-Based Testing of Synchronous Software - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and OutputsBesnik Seljimi, Ioannis Parissis. issre 2006: 105-116 [doi]

Specification-based Testing of Synchronous SoftwareIoannis Parissis, Farid Ouabdesselam. ESEC/FSE 1996: 127-134 [doi]

runs on WebDSL