Title: Specification by example
Subjects: Development, Software compatibility, Validation, Verification, Testing, Computer software, Computer software, development, Computer software, validation, Case studies