[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Tri-modal under-approximation of event systems for test generation
Bride, Hadrien, Julliand, Jacques, Masson, Pierre-AlainYear:
2015
Language:
english
DOI:
10.1145/2695664.2695731
File:
PDF, 631 KB
english, 2015