Conc-iSE: incremental symbolic execution of concurrent software.
Shengjian GuoMarkus KusanoChao WangPublished in: ASE (2016)
Keyphrases
- symbolic execution
- test data generation
- static analysis
- source code
- software systems
- test generation
- data flow
- test cases
- software development
- software testing
- software architecture
- simulated annealing algorithm
- data sets
- relational databases
- software projects
- specification language
- open source
- artificial intelligence
- xml data