Scalable Incremental Test-case Generation from Large Behavior Models

B. K. Aichernig, D. Nickovic, and S. Tiran

Abstract:

Reference: B. K. Aichernig, D. Nickovic, and S. Tiran. Scalable incremental test-case generation from large behavior models. In TAP'15, volume 9154 of Lecture Notes in Computer Science, pages 1-18. Springer, 2015. In press.