Automating Structural Testing of C Programs: Experience with PathCrawler.
Bernard BotellaMickaël DelahayeStéphane Hong Tuan HaNikolai KosmatovPatricia MouyMuriel RogerNicky WilliamsPublished in: AST (2009)
Keyphrases
- symbolic execution
- structural information
- structural analysis
- test cases
- software testing
- set of test cases
- automatic programming
- learning curve
- data sets
- logic programs
- computer programs
- programming environment
- high level
- social networks
- intermediate level
- artificial intelligence
- game players
- control program
- provably correct
- data mining
- databases