Synthesizing Test Models from Test Cases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen. Synthesizing Test Models from Test Cases. In Hana Chockler, Alan J. Hu, editors, Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Volume 5394 of Lecture Notes in Computer Science, pages 179-193, Springer, 2008. [doi]

This author has not been identified. Look up 'Antti Jääskeläinen' in GoogleThis author has not been identified. Look up 'Antti Kervinen' in GoogleThis author has not been identified. Look up 'Mika Katara' in GoogleThis author has not been identified. Look up 'Antti Valmari' in GoogleThis author has not been identified. Look up 'Heikki Virtanen' in Google

runs on WebDSL