A C++ Data Model Supporting Reachability Analysis and Dead Code Detection.
Yih-Farn ChenEmden R. GansnerEleftherios KoutsofiosPublished in: ESEC / SIGSOFT FSE (1997)
Keyphrases
- data model
- reachability analysis
- detection method
- detection algorithm
- automatic detection
- database systems
- detection rate
- markov decision processes
- source code
- object oriented
- query language
- object detection
- data sources
- model checking
- database
- state space
- low cost
- xml documents
- search algorithm
- schema evolution
- timed automata