2488 search results - page 274 / 498 » An improvement in formal verification |
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
103
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
125
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
109
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
116
Voted
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
Introductory computer science students rely on a trial and error approach to fixing errors and debugging for too long. Moving to a reflection in action strategy can help students ...