The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications.
Marko DimjasevicDimitra GiannakopoulouFalk HowarMalte IsbernerZvonimir RakamaricVishwanath RamanPublished in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
- java virtual machine
- source code
- high level
- object oriented
- open source
- lightweight
- byte code
- programming language
- database applications
- data flow
- databases
- user defined functions
- development environment
- database design
- active databases
- control flow
- execution model
- garbage collection
- execution environment
- database management systems
- web applications
- concurrent execution
- database