A Case Study on Executing Instrumented Code in Java PathFinder.
Karl PalmskogFarah HaririDarko MarinovPublished in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
- source code
- java programs
- byte code
- java virtual machine
- case study
- software systems
- java code
- unit testing
- open source
- program code
- static analysis
- java language
- lightweight
- test bed
- development environment
- multi threaded
- programming language
- java applets
- code examples
- application programming interface
- software testing
- virtual machine
- cd rom
- test cases
- object oriented