IWCFS2018 Bonfanti, Silvia Gargantini, Angelo Mashkoor, Atif

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

in IWCFS 2018 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2018) in conjunction with 8th International Conference on Model & Data Engineering (MEDI 2018) Marrakesh, Morocco, 24-26 October, 2018Springer International Publishing (2018): 146--152

Abstract
In this paper, we present the AsmetaVBDD tool that automatically translates the scenarios written in the AValLa language (used by the asmeta validator (AsmetaV)) into Behavior-Driven Development scenarios for C ++ .


[download the pdf file] [DOI]

My sw links