2774 search results - page 7 / 555 » Query-Driven Program Testing |
92
Voted
HASKELL
2008
ACM
15 years 1 months ago
2008
ACM
86
Voted
ICALP
2010
Springer
15 years 18 days ago
2010
Springer
112
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
140
click to vote
SAC
2011
ACM
14 years 3 months ago
2011
ACM
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
112
click to vote
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...