Login / Signup

Colored Petri nets model based conformance test generation.

Jing LiuXinming YeJun Li
Published in: ISCC (2011)
Keyphrases
  • test generation
  • colored petri nets
  • petri net
  • test cases
  • test sequences
  • symbolic execution
  • design automation
  • static analysis
  • quality assurance
  • mutation testing
  • software testing
  • web services