Login / Signup
A Formal Testing Framework for UML Statecharts.
Xuede Zhan
Published in:
SNPD (3) (2007)
Keyphrases
</>
formal methods
main contribution
theoretical framework
regression testing
object oriented
process model
conceptual modeling