Providing an empirical basis for optimizing the verification and testing phases of software development.
Lionel C. BriandVictor R. BasiliChristopher J. HetmanskiPublished in: ISSRE (1992)
Keyphrases
- test suite
- software testing
- software development
- test cases
- test generation
- tool support
- testing process
- early phase
- quality assurance
- model based testing
- software engineering
- software systems
- symbolic execution
- extreme programming
- test data generation
- model checking
- formal verification
- software design
- code generation
- software developers
- development process
- test data
- face verification
- software development projects
- cost estimation
- software maintenance
- software architecture
- neural network