Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.
Simone do Rocio Senger de SouzaPaulo Sergio Lopes de SouzaMario C. C. MachadoMário S. CamilloAdenilso da Silva SimãoEd ZaluskaPublished in: SEKE (2011)
Keyphrases
- test cases
- test suite
- code coverage
- concurrent programs
- software testing
- high quality
- multiscale
- static analysis
- symbolic execution
- quality assurance
- white box testing
- databases
- set of test cases
- testing process
- test generation
- programming environment
- transitive closure
- low quality
- social networks
- information retrieval