Sciweavers

46 search results - page 10 / 10
» Resistive bridge fault modeling, simulation and test generat...
Sort
View
ICSE
2007
IEEE-ACM
14 years 6 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi