Login / Signup

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.

Juhan-Peep ErnitsAndres KullKullo RaiendJüri Vain
Published in: FATES/RV (2006)
Keyphrases