Sciweavers

11172 search results - page 211 / 2235
» Testing Physical Systems
Sort
View
FLAIRS
2009
15 years 4 months ago
Advanced Measures for Empirical Testing
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
Joachim Baumeister
FATES
2006
Springer
15 years 10 months ago
A Symbolic Framework for Model-Based Testing
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
HASE
2007
IEEE
16 years 26 days ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach