Test Generation for X-machines with Non-terminal States and Priorities of Operations (2011)
Attributed to:
StaMInA: A Novel Competition to Drive the Comparative Evaluation of State Machine Inference Approaches
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/icst.2011.59
Publication URI: http://dx.doi.org/10.1109/icst.2011.59
Type: Conference/Paper/Proceeding/Abstract
ISBN: 978-1-61284-174-8