2774 search results - page 182 / 555 » Query-Driven Program Testing |
120
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
116
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
136
Voted
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
143
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
147
Voted
POPL
2010
ACM
16 years 27 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...