3889 search results - page 59 / 778 » The Use of Program Dependence Graphs in Software Engineering |
121
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
106
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
119
Voted
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
142
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...