Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cassia de Souza Carvalho, Tatsuhiro Tsuchiya. Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation. In Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014. pages 596-598, IEEE, 2014. [doi]

This author has not been identified. Look up 'Cassia de Souza Carvalho' in GoogleThis author has not been identified. Look up 'Tatsuhiro Tsuchiya' in Google

runs on WebDSL