Sciweavers

203 search results - page 9 / 41
» How Program History Can Improve Code Completion
Sort
View
67
Voted
FATES
2003
Springer
15 years 2 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ISSRE
2002
IEEE
15 years 2 months ago
A Flexible Generator Architecture for Improving Software Dependability
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
Christof Fetzer, Zhen Xiao
TOOLS
2000
IEEE
15 years 1 months ago
Applying the Lessons of eXtreme Programming
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
Pete McBreen
104
Voted
SOFTWARE
2011
14 years 4 months ago
A Refactoring Approach to Parallelism
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
Danny Dig
ICSM
2007
IEEE
15 years 3 months ago
Matching Control Flow of Program Versions
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
Vijayanand Nagarajan, Rajiv Gupta, Matias Madou, X...