Generation of behavior-driven development C++ tests from abstract state machine scenarios

Contributo in Atti di convegno
Data di Pubblicazione:
2018
Citazione:
(2018). Generation of behavior-driven development C++ tests from abstract state machine scenarios . Retrieved from http://hdl.handle.net/10446/131419
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++.
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/131419
Titolo del libro:
New Trends in Model and Data Engineering. MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Pubblicato in:
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
Series

Ricerca

Settori


Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni