3547 search results - page 16 / 710 » Pseudo-Exhaustive Testing for Software |
122
Voted
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
SOFTWARE
2002
14 years 11 months ago
2002
We present a new approach to test selection in sequential diagnosis (or classification) in the independence Bayesian framework that resembles the hypothetico-deductive approach to ...
129
click to vote
INFSOF
2000
14 years 11 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
TAICPART
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...