Pierre de Saqui-Sannes, Ludovic Apvrille. Test Sequence Generation From Formally Verified SysML Models. In Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn, editors, Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019. Volume 2308 of CEUR Workshop Proceedings, pages 67-74, CEUR-WS.org, 2019. [doi]
@inproceedings{Saqui-SannesA19,
title = {Test Sequence Generation From Formally Verified SysML Models},
author = {Pierre de Saqui-Sannes and Ludovic Apvrille},
year = {2019},
url = {http://ceur-ws.org/Vol-2308/aviose2019paper02.pdf},
researchr = {https://researchr.org/publication/Saqui-SannesA19},
cites = {0},
citedby = {0},
pages = {67-74},
booktitle = {Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019},
editor = {Stephan Krusche and Kurt Schneider and Marco Kuhrmann and Robert Heinrich and Reiner Jung and Marco Konersmann and Eric Schmieders and Steffen Helke and Ina Schaefer and Andreas Vogelsang and Björn Annighöfer and Andreas Schweiger and Marina Reich and André van Hoorn},
volume = {2308},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}