Richard Ruzicka, Pavel Tupec. Formal Approach to Synthesis of a Test Controller. In 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. pages 348-355, IEEE Computer Society, 2004. [doi]
@inproceedings{RuzickaT04, title = {Formal Approach to Synthesis of a Test Controller}, author = {Richard Ruzicka and Pavel Tupec}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2004/2125/00/21250348abs.htm}, tags = {testing, systematic-approach}, researchr = {https://researchr.org/publication/RuzickaT04}, cites = {0}, citedby = {0}, pages = {348-355}, booktitle = {11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic}, publisher = {IEEE Computer Society}, isbn = {0-7695-2125-8}, }