Automated Software Testing Starting from Static Analysis: Current State of the Art.
Yan WuJingyi SuDavid D. MoranChris D. NearPublished in: CoRR (2023)
Keyphrases
- static analysis
- software testing
- test suite
- test case generation
- test cases
- test generation
- dynamic analysis
- regression testing
- source code
- software systems
- symbolic execution
- control flow
- test data generation
- quality assurance
- software reliability
- software development
- software engineering
- integration testing
- regular expressions
- abstract interpretation
- testing process
- white box testing
- test data
- code coverage
- decision making
- real world
- case study
- databases
- unit testing
- data sets