3889 search results - page 346 / 778 » The Use of Program Dependence Graphs in Software Engineering |
148
Voted
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
159
click to vote
ISSTA
2006
ACM
16 years 3 days ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
142
click to vote
FSTTCS
2001
Springer
15 years 10 months ago
2001
Springer
Semidefinite programming based approximation algorithms, such as the Goemans and Williamson approximation algorithm for the MAX CUT problem, are usually shown to have certain perf...
164
Voted
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
We present aspect-oriented programming in Jiazzi. Jiazzi enhances Java with separately compiled, externally-linked code modules called units. Besides making programming in Java ge...
160
Voted
SEKE
2009
Springer
16 years 21 days ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...