Testing heap-based programs with Java StarFinder.
Long H. PhamQuang Loc LeQuoc-Sang PhanJun SunShengchao QinPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- java programs
- data structure
- object oriented languages
- symbolic execution
- source code
- java bytecode
- test cases
- open source
- programming language
- object oriented
- test suite
- lightweight
- object oriented programs
- test generation
- general purpose
- web services
- real time
- software testing
- neural network
- software components
- integration testing
- java language
- set of test cases
- automatic programming
- programming environment
- computer programs
- virtual machine
- database applications
- information systems
- genetic algorithm
- data sets