2774 search results - page 218 / 555 » Query-Driven Program Testing |
170
click to vote
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
114
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
143
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
122
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
127
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...