Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.
Yunho KimYunja ChoiMoonzoo KimPublished in: ICSE (2018)
Keyphrases
- unit testing
- intermediate level
- information filtering
- symbolic representation
- cooperative
- test cases
- programming environment
- artificial intelligence
- neural network
- multi agent systems
- software engineering
- databases
- monitoring system
- black box
- high level
- decision making
- filtering algorithm
- feature selection
- integration testing