4079 search results - page 674 / 816 » Differential Testing for Software |
122
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
118
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
157
Voted
PAM
2012
Springer
13 years 10 months ago
2012
Springer
Recent efforts in software-defined networks, such as OpenFlow, give unprecedented access into the forwarding plane of networking equipment. When building a network based on OpenFl...
157
Voted
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...
132
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...