Sciweavers

3889 search results - page 327 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
SIGCSE
2005
ACM
113views Education» more  SIGCSE 2005»
15 years 10 months ago
Learning by doing: introducing version control as a way to manage student assignments
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
Karen L. Reid, Gregory V. Wilson
UIST
2004
ACM
15 years 10 months ago
SketchREAD: a multi-domain sketch recognition engine
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
Christine Alvarado, Randall Davis
AAAI
2008
15 years 7 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
AADEBUG
1995
Springer
15 years 8 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas
OOPSLA
2005
Springer
15 years 10 months ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....