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