1100 search results - page 31 / 220 » An Approach to Test Aspect-oriented Programs |
136
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
106
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
114
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
100
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
138
Voted
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...