12 search results - page 3 / 3 » An independent audit framework for software dependent voting... |
ISSRE
2000
IEEE
13 years 9 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
APIN
1998
13 years 4 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...