2774 search results - page 54 / 555 » Query-Driven Program Testing |
APLAS
2003
ACM
14 years 2 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
JCC
2011
12 years 12 months ago
2011
: Docking is one of the most commonly used techniques in drug design. It is used for both identifying correct poses of a ligand in the binding site of a protein as well as for the ...
ESEC
1991
Springer
14 years 15 days ago
1991
Springer
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
EUROSYS
2011
ACM
13 years 14 days ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...