Efficient SAT-based generation of hazard-activated TSOF tests.

Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker

Browse the full VTS paper archive.