1760 search results - page 98 / 352 » Program Analysis Using Weighted Pushdown Systems |
110
click to vote
CSMR
2000
IEEE
15 years 5 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
116
click to vote
LCTRTS
2010
Springer
14 years 10 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
124
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
SIGSOFT
2003
ACM
15 years 5 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...
100
Voted
FORTE
2004
15 years 2 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...