IWCFS2018
   
   Bonfanti, Silvia Gargantini, Angelo Mashkoor, Atif
      
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenariosin 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, 2018,  Springer 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]