Sciweavers

4763 search results - page 54 / 953
» On the Execution of Deep Models
Sort
View
123
Voted
HVC
2007
Springer
109views Hardware» more  HVC 2007»
16 years 6 days ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser