Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday
From Scenarios to Test Implementations Via Promela
ICTSS, 2010.
@inproceedings{ICTSS-2010-UlrichAHB,
author = "Andreas Ulrich and El Hachemi Alikacem and Hesham Hallal and Sergiy Boroday",
booktitle = "{Proceedings of the 22nd International Conference on Testing Software and Systems}",
doi = "10.1007/978-3-642-16573-3_17",
isbn = "978-3-642-16572-6",
pages = "236--249",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{From Scenarios to Test Implementations Via Promela}",
volume = 6435,
year = 2010,
}
Tags: