2191 search results - page 135 / 439 » Evolutionary testing of classes |
154
Voted
ASE
2006
15 years 3 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
109
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
115
Voted
APPROX
2009
Springer
15 years 10 months ago
2009
Springer
Referring to the query complexity of property testing, we prove the existence of a rich hierarchy of corresponding complexity classes. That is, for any relevant function q, we prov...
134
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
139
click to vote
SIGCSE
1997
ACM
15 years 7 months ago
1997
ACM
One of the major difficulties facing anyone trying to teach the first programming course is how to encourage students to thoroughly test their programs. We would argue that the ma...