Automata based test generation with SpecPro
In: Proceedings of the 6th International Workshop on Requirements Engineering and Testing; (2019-05-28) S. 13-16
Online
Konferenz
Zugriff:
Titel: |
Automata based test generation with SpecPro
|
---|---|
Autor/in / Beteiligte Person: | Vuotto, Simone ; Narizzano, Massimo ; Pulina, Luca ; Tacchella, Armando |
Link: | |
Quelle: | Proceedings of the 6th International Workshop on Requirements Engineering and Testing; (2019-05-28) S. 13-16 |
Veröffentlichung: | 2019 |
Medientyp: | Konferenz |
DOI: | 10.1109/RET.2019.00010 |
Sonstiges: |
|