2774 search results - page 183 / 555 » Query-Driven Program Testing |
161
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
122
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
258
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
155
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Embedded Cartesian Genetic Programming (ECGP) is an extension of Cartesian Genetic Programming (CGP) that can automatically acquire, evolve and re-use partial solutions in the for...
162
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...