A symbolic Java virtual machine for test case generation.
Roger A. MüllerChristoph LembeckHerbert KuchenPublished in: IASTED Conf. on Software Engineering (2004)
Keyphrases
- test case generation
- java virtual machine
- java programs
- multi threaded
- test cases
- software components
- program execution
- test suite
- software testing
- object oriented systems
- test data generation
- garbage collection
- virtual machine
- high level
- databases
- data sets
- real time
- memory management
- building blocks
- software development