![](/img/cover-not-exists.png)
Test compaction techniques for assertion-based test generation
Tong, Jason G., Boulé, Marc, Zilic, ZeljkoVolume:
19
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/2534397
Date:
December, 2013
File:
PDF, 2.11 MB
english, 2013