Login / Signup

Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation.

Cassia de Souza CarvalhoTatsuhiro Tsuchiya
Published in: CANDAR (2014)
Keyphrases