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.

An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON

Carsten Rütz, Julien Schmaltz. An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. In Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings. pages 39-46, IEEE Computer Society, 2011. [doi]

Authors

Carsten Rütz

This author has not been identified. Look up 'Carsten Rütz' in Google

Julien Schmaltz

This author has not been identified. Look up 'Julien Schmaltz' in Google
runs on