acm sigbed
|
emsoft
|
participants
Michael Y. Levin
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Active Property Checking
Patrice Godefroid
,
Michael Y. Levin
, and
David A. Molnar
10.1145/1450058.1450087
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-2007-91.pdf