A Specification-Based Approach to the Testing of Java Memory Bloat.
Ju QianXiaoyu ZhouWanchun DangZiyuan WangPublished in: QRS (2016)
Keyphrases
- object oriented programs
- test case generation
- java programs
- formal verification
- programming language
- memory usage
- open source
- unit testing
- specification language
- multi threaded
- integration testing
- object oriented
- high level
- limited memory
- test cases
- memory requirements
- database applications
- web services
- garbage collection
- memory management
- memory space
- java applets
- software testing
- computational power
- formal specification
- source code
- random access
- computing power
- code generation
- test suite
- memory size
- main memory
- java virtual machine
- test data
- test set
- byte code
- lightweight
- genetic programming