2774 search results - page 78 / 555 » Query-Driven Program Testing |
RISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
ICCHP
2004
Springer
14 years 3 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
CSCLP
2004
Springer
14 years 1 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
CONSTRAINTS
2006
13 years 10 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...