Model-Based Testing from Controlled Natural Language Requirements

Gustavo Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, Jan Peleska

January 2014

DOI URL

Type

Conference paper

Publication

Formal Techniques for Safety-Critical Systems