Object-Oriented Software Testing and Metric in Z Specification.
Chi-Ming ChungTimothy K. ShihChun-Chia WangPublished in: Inf. Sci. (1997)
Keyphrases
- software testing
- object oriented
- test case generation
- test cases
- control flow
- software engineering
- formal specification
- software development
- object oriented systems
- software reliability
- quality assurance
- fault localization
- regression testing
- relational databases
- software systems
- data model
- white box testing
- test suite
- test data generation
- programming language
- unit testing
- object oriented databases
- database applications
- conceptual models
- integration testing
- testing process
- reverse engineering
- database
- query language
- definition language
- data flow
- development process
- cooperative
- high level
- databases
- formal verification
- decision trees