Automated Infrastructure as Code Program Testing.
Daniel SokolowskiDavid SpielmannGuido SalvaneschiPublished in: IEEE Trans. Software Eng. (2024)
Keyphrases
- concurrent programs
- symbolic execution
- test cases
- static analysis
- program understanding
- computer programs
- java programs
- dynamic analysis
- search based testing
- source code
- concurrent programming
- search based software testing
- program code
- automated analysis
- application programming interface
- test generation
- semi automated
- computer aided
- control flow
- test suite
- data flow
- program execution
- software testing
- program slicing
- unit testing
- programs written
- semi automatic
- fully automated
- test data generation
- neural network
- java virtual machine
- reverse engineering
- software maintenance
- mission critical
- building blocks
- data collection
- set of test cases
- database systems
- search engine