Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications.
Shih-Sung LiaoKai H. ChangStephen B. SeidmanChun-Yu ChenPublished in: SEKE (1996)
Keyphrases
- object oriented
- object oriented programs
- formal specification
- specification languages
- object oriented design
- reverse engineering
- model checking
- specification language
- process algebra
- software engineering
- concurrent systems
- formal methods
- query language
- test cases
- software testing
- first order logic
- software components
- database
- integration testing