Industrial Examples of Formal Specifications for Test Case Generation

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Hendrik Roehm, Rainer, Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle

Journal title: ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing

Journal number: vol.34

Journal publisher: EasyChair

Published year: 2015

Published pages: 80-88