56 search results - page 2 / 12 » Character String Predicate Based Automatic Software Test Dat... |
GECCO
2004
Springer
13 years 10 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...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
Fault-based testing is often advocated to overcome limitations of other testing approaches; however it is also recognized as being expensive. On the other hand, evolutionary algor...
ISSTA
1998
ACM
13 years 9 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
CISSE
2008
Springer
13 years 7 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...