[ACM Press the 2013 International Workshop - Lugano, Switzerland (2013.07.15-2013.07.15)] Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation - JAMAICA 2013 - Model-based test case generation using symbolic execution
Munakata, Kazuki, Tokumoto, Susumu, Uehara, TadahiroYear:
2013
Language:
english
DOI:
10.1145/2489280.2489282
File:
PDF, 412 KB
english, 2013