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.

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

Bernhard K. Aichernig, Christian Burghard. Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. In Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, editors, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Volume 12543 of Lecture Notes in Computer Science, pages 35-51, Springer, 2020. [doi]

Authors

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google

Christian Burghard

This author has not been identified. Look up 'Christian Burghard' in Google
runs on