Sciweavers

4763 search results - page 54 / 953
» On the Execution of Deep Models
Sort
View
92
Voted
EMISA
2007
Springer
15 years 10 months ago
An Approach to use Executable Models for Testing
Michael Soden, Hajo Eichler
HVC
2007
Springer
109views Hardware» more  HVC 2007»
15 years 10 months ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser