Active property checking. In: (2008)

by P Godefroid, M Y Levin, D A Molnar
Venue:Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, ACM