Enhancing structural software coverage by incrementally computing branch executability.
Mauro BaludaPietro BraioneGiovanni DenaroMauro PezzèPublished in: Softw. Qual. J. (2011)
Keyphrases
- software systems
- structural information
- commercial software
- test suite
- software architecture
- software development
- information systems
- computer systems
- databases
- situation calculus
- software maintenance
- software package
- software packages
- neural network
- test cases
- software engineering
- modeling language
- machine learning
- analysis tool
- hardware design