Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation

@article{Grieskamp2005ActionM,
  title={Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation},
  author={Wolfgang Grieskamp and Nikolai Tillmann and Colin Campbell and Wolfram Schulte and Margus Veanes},
  journal={Fifth International Conference on Quality Software (QSIC'05)},
  year={2005},
  pages={72-79}
}
We report on a framework for model composition, exploration, and conformance testing based on symbolic execution. The foundations of this framework are given by so-called action machines, a variation of labeled transition systems which communicate over synchronously stepped actions and constraints attached to them. The implementation is based on XRT, an exploration engine for .NET CIL code which supports symbolic computation. The main application is in the area of model-based conformance… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…