Using Mutations to Analyze Formal Specifications.

Siraphob Phipathananunth

Published in: SPLASH Companion (2022)

Keyphrases

formal specification
object oriented design
model checking
specification languages
specification language
reverse engineering
design methodology
information systems
knowledge representation
process algebra
real world
expert systems
programming language
source code
distributed systems