Automated test generation for industrial Erlang applications

@inproceedings{Blom2003AutomatedTG,
  title={Automated test generation for industrial Erlang applications},
  author={Johan Blom and Bengt Jonsson},
  booktitle={Erlang Workshop},
  year={2003}
}
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed by the company Mobile Arts. We have developed a syntax for description of state machines extended with data variables. From such state machines, test cases are generated by symbolic execution. The test cases are symbolically represented; concrete test cases are generated by instantiation of data parameters. 
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…