FAST: Formal specification driven test harness generation.

Jiong Gong Yun Wang Haihao Shen Xu Deng Wei Wang Xiangning Ma

Published in: MEMOCODE (2012)

Keyphrases

formal specification
specification languages
model checking
object oriented design
specification language
data abstraction
process algebra
formal methods
reverse engineering
model checker
concurrent systems
software components
business rules
case study
high level
knowledge management