Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Castanet, Davy Rouillard. Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. In Ina Schieferdecker, Hartmut König, Adam Wolisz, editors, Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002. Volume 210 of IFIP Conference Proceedings, pages 249-266, Kluwer, 2002.

This author has not been identified. Look up 'Richard Castanet' in GoogleThis author has not been identified. Look up 'Davy Rouillard' in Google

runs on WebDSL