↓ Skip to Main Content
TRUCONF

Main Navigation

  • Home
  • About
  • News
  • Publications
  • Partners
TRUCONF

Off Canvas Menu

  • Home
  • About
  • News
  • Publications
  • Partners

Month: February 2017

Publications

Publication at A-MOST 2017

Bernhard K. Aichernig Feb 1, 2017

Another publication has been accepted at A-MOST 2017. Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi: “Property-Based Testing with External Test-Case Generators“, In IEEE 10th International Conference on Software Testing, Verification, and Validation Workshops (ICSTW), 13th Workshop on Advances in Model Based Testing …

Publication at A-MOST 2017 Read more →

Publications

Publication at ICST 2017

Bernhard K. Aichernig Feb 1, 2017

A new publication has been accepted at the ICST 2017. Bernhard K. Aichernig and Richard Schumi: “Statistical Model Checking Meets Property-Based Testing“, In 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan, 13-17 March, 2017, pages 390-400. …

Publication at ICST 2017 Read more →

Copyright © 2026 TRUCONF | Powered by Responsive Theme
Copyright © 2026 TRUCONF | Powered by Responsive Theme
We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.