21 search results - page 1 / 5 » Automatic string test data generation for detecting domain e... |
STVR
2010
13 years 9 months ago
2010
ATS
2003
IEEE
14 years 4 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
SEUS
2010
IEEE
13 years 9 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
CAV
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...