3889 search results - page 629 / 778 » The Use of Program Dependence Graphs in Software Engineering |
123
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
122
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
167
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
144
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
128
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...