1629 search results - page 221 / 326 » Infeasible Code Detection |
121
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
270
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
145
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
135
Voted
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...
156
Voted
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...