↓ Skip to Main Content

TRUCONF

Main Navigation

  • Home
  • About
  • News
  • Publications
  • Partners
Home › View all posts by admin › Page 2

Author: admin

Publication at A-MOST 2017

By admin Posted on 01.02.2017 Posted in Publications No Comments

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 No Comments

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 »

Publication at DECOSYS 2016

By admin Posted on 08.11.2016 Posted in Publications No Comments

Another publication has been accepted at DECOSYS 2016. Christian Burghard, Gerald Stieglbauer and Robert Korošec: “Introducing MDML – A Domain-specific Modelling Language for Automotive Measurement Devices”, In Workshop on Digital Eco-Systems, DECOSYS 2016, CEUR Workshop Proceedings, Graz, Austria 18th Oct 2016. (PDF) The …

Publication at DECOSYS 2016 Read more »

Publication at MEMOCODE 2016

By admin Posted on 18.10.2016 Posted in Publications No Comments

Another publication has been accepted at MEMOCODE’16. Bernhard K. Aichernig and Richard Schumi: “Towards Integrating Statistical Model Checking into Property-Based Testing”. In 14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE, Kanpur, India, Nov. 18–20, 2016, pages …

Publication at MEMOCODE 2016 Read more »

Publication in Theory and Practice of Formal Methods

By admin Posted on 24.03.2016 Posted in Publications No Comments

A paper has been accepted for publication in  Theory and Practice of Formal Methods. Bernhard K. Aichernig and Florian Lorber and Martin Tappler: “Conformance Checking of Real-Time Models – Symbolic Execution vs. Bounded Model Checking”, In Theory and Practice of Formal Methods …

Publication in Theory and Practice of Formal Methods Read more »

Publication at A-MOST 2016

By admin Posted on 04.03.2016 Posted in Publications No Comments

Our second publication has been accepted at A-MOST 2016. Bernhard K. Aichernig and Richard Schumi: “Property-based Testing with FsCheck by Deriving Properties from Business Rule Models”, In 2016 IEEE Ninth International Conference on Software Testing, Verification, and Validation Workshops (ICSTW), 12th …

Publication at A-MOST 2016 Read more »

Publication at USE 2015

By admin Posted on 12.06.2015 Posted in Publications No Comments

The first publication has been accepted at USE’15. Bernhard K. Aichernig and Martin Tappler: “Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing”, In Usages of Symbolic Execution – 1st International Workshop in conjunction with FM 2015, USE’15,  Oslo, Norway, June 23, 2015. Proceedings, Electr. Notes …

Publication at USE 2015 Read more »

Posts navigation

Previous 1 2

Recent Posts

  • PhD Thesis within TRUCONF
  • Exploitation of TRUCONF Results for a Publication at QEST 2018
  • Publication at SETTA 2018
  • Another Master’s Thesis within TRUCONF
  • TRUCONF Final Workshop

Archives

  • October 2018
  • June 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • July 2017
  • February 2017
  • November 2016
  • October 2016
  • March 2016
  • June 2015

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
© 2023 TRUCONF | Powered by Responsive Theme