↓ Skip to Main Content

TRUCONF

Main Navigation

  • Home
  • About
  • News
  • Publications
  • Partners

Month: February 2017

Publication at A-MOST 2017

By admin Posted on 01.02.2017 Posted in Publications

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 »

Publication at ICST 2017

By admin Posted on 01.02.2017 Posted in Publications

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 © 2025 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.Ok