4079 search results - page 513 / 816 » Differential Testing for Software |
142
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
152
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
166
click to vote
PASTE
2010
ACM
15 years 8 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...
151
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
126
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...