Validating formal specifications using testing-based specification animation.
Shaoying LiuPublished in: FormaliSE@ICSE (2016)
Keyphrases
- formal specification
- specification language
- software testing
- model checking
- specification languages
- formal methods
- object oriented design
- process algebra
- code generation
- concurrent systems
- formal verification
- protocol specification
- reverse engineering
- computer graphics
- test cases
- software components
- design methodology
- semantic data models
- multi agent
- formal specification language
- test case generation
- software development