External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Industrial Examples of Formal Specifications for Test Case Generation

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle. Industrial Examples of Formal Specifications for Test Case Generation. In Goran Frehse, Matthias Althoff, editors, 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. Volume 34 of EPiC Series in Computing, pages 80-88, EasyChair, 2015. [doi]

Authors

Hendrik Roehm

This author has not been identified. Look up 'Hendrik Roehm' in Google

Rainer Gmehlich

This author has not been identified. Look up 'Rainer Gmehlich' in Google

Thomas Heinz

This author has not been identified. Look up 'Thomas Heinz' in Google

Jens Oehlerking

This author has not been identified. Look up 'Jens Oehlerking' in Google

Matthias Woehrle

This author has not been identified. Look up 'Matthias Woehrle' in Google
runs on