3889 search results - page 163 / 778 » The Use of Program Dependence Graphs in Software Engineering |
123
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
The widespread use of mobile and wireless computing platforms is leading to a growing interest on dependability issues. Several research studies have been conducted on dependabili...
123
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
128
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
162
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
133
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...