4299 search results - page 130 / 860 » Concurrent Test Generation |
131
click to vote
COR
2008
15 years 3 months ago
2008
Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully...
147
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
154
click to vote
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
111
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
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...