A Model-Based Approach to Testing Software for Critical Behavior and Properties.
Constance L. HeitmeyerPublished in: ICTSS (2010)
Keyphrases
- test cases
- software testing
- quality assurance
- software systems
- software tools
- computer systems
- test case generation
- dynamic behavior
- software development
- initial conditions
- software architecture
- behavior patterns
- testing process
- software reliability
- software platform
- test suite
- object oriented software
- set of test cases
- software design
- data sets
- desirable properties
- structural properties
- business processes
- information systems
- neural network