Bug detection in Java code: An extensive evaluation of static analysis tools using Juliet Test Suites.
Richard AmankwahJinfu ChenHeping SongPatrick Kwaku KudjoPublished in: Softw. Pract. Exp. (2023)
Keyphrases
- static analysis
- test suite
- source code
- java code
- test cases
- dynamic analysis
- test suite reduction
- test case generation
- java card
- software testing
- test generation
- software systems
- java programs
- byte code
- building blocks
- open source
- training data
- databases
- database
- matching algorithm
- database systems
- real world
- object oriented systems