Proof-Guided Testing: An Experimental Study

Guillaume Lussier, Hélène Waeselynck, Karim Guennoun. Proof-Guided Testing: An Experimental Study. In 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings. pages 528-533, IEEE Computer Society, 2004. [doi]

Authors

Guillaume Lussier

This author has not been identified. Look up 'Guillaume Lussier' in Google

Hélène Waeselynck

This author has not been identified. Look up 'Hélène Waeselynck' in Google

Karim Guennoun

This author has not been identified. Look up 'Karim Guennoun' in Google