A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs.
Sridhar IyerS. RameshPublished in: APSEC (1997)
Keyphrases
- reachability analysis
- tool suite
- object oriented programs
- specification languages
- integration testing
- model checking
- markov decision processes
- timed automata
- object oriented
- impact analysis
- reverse engineering
- formal specification
- incremental algorithms
- state space
- java programs
- black box
- first order logic
- real time
- training data
- multi threaded
- life cycle
- source code
- open source
- knowledge base