Using Pairwise Testing to Verify Automatically-Generated Formal Specifications.
Salamah SalamahOmar OchoaYadira JacquezPublished in: HASE (2015)
Keyphrases
- automatically generated
- formal specification
- pairwise
- software testing
- automatically generate
- model checking
- manually created
- object oriented design
- manually generated
- specification languages
- manually constructed
- specification language
- process algebra
- automatically created
- concurrent systems
- automatically generating
- formal methods
- similarity measure
- code generation
- test cases
- domain specific
- reverse engineering
- temporal logic
- markov random field
- formal specification language
- ground truth