29 search results - page 1 / 6 » Efficient Software Verification: Statistical Testing Using A... |
TSE
2010
12 years 11 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
KBSE
2003
IEEE
13 years 9 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
GECCO
2005
Springer
13 years 10 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
SIGADA
2001
Springer
13 years 9 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...