Login / Signup

Automated test generation using model checking: an industrial evaluation.

Eduard Paul EnoiuAdnan CausevicThomas J. OstrandElaine J. WeyukerDaniel SundmarkPaul Pettersson
Published in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases