Static Analysis of Java Bytecode for Domain-specific Software Testing.
Márcio E. DelamaroPaulo Augusto NardiOtávio LemosPaulo César MasieroEdmundo Sérgio SpotoJosé Carlos MaldonadoAuri M. R. VincenziPublished in: SBES (2007)
Keyphrases
- static analysis
- software testing
- domain specific
- test suite
- java bytecode
- test cases
- dynamic analysis
- test case generation
- source code
- software systems
- software development
- test generation
- quality assurance
- general purpose
- garbage collection
- virtual machine
- programming language
- java card
- regular expressions
- control flow
- efficient execution
- java virtual machine
- software engineering
- test data generation
- testing process
- java programs
- intermediate representation
- memory management
- test set
- case study