Model-Based Testing from Controlled Natural Language Requirements

Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska. Model-Based Testing from Controlled Natural Language Requirements. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers. Volume 419 of Communications in Computer and Information Science, pages 19-35, Springer, 2013. [doi]

Authors

Gustavo Carvalho

This author has not been identified. Look up 'Gustavo Carvalho' in Google

Flávia de Almeida Barros

This author has not been identified. Look up 'Flávia de Almeida Barros' in Google

Florian Lapschies

This author has not been identified. Look up 'Florian Lapschies' in Google

Uwe Schulze

This author has not been identified. Look up 'Uwe Schulze' in Google

Jan Peleska

This author has not been identified. Look up 'Jan Peleska' in Google