Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

George Devaraj, Mats Per Erik Heimdahl, Donglin Liang. Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. In 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), 25-28 July 2005, Edinburgh, Scotland, UK. pages 455-462, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'George Devaraj' in GoogleThis author has not been identified. It may be one of the following persons:

Mats Per Erik Heimdahl

Look up 'Mats Per Erik Heimdahl' in GoogleThis author has not been identified. Look up 'Donglin Liang' in Google

runs on WebDSL