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 …
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 …
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 »
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 …