Yearly Archives: 2016

Publication at DECOSYS 2016

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 Workshop on Digital Eco-Systems DECOSYS 2016  is held at ICTSS 2016.

Publication at MEMOCODE 2016

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 71–76. IEEE Computer Society, 2016. (PDF)(doi:10.1109/MEMCOD.2016.7797748)


In recent years statistical model checking (SMC) became increasingly popular, mainly because it does not suffer from one of the major problems that limits traditional model checking, the so called state-space-explosion problem. SMC solves this problem by simulating a stochastic model for finitely many executions. There exist a number of SMC tools, but they require the user to learn a specific modelling language and a particular (temporal) logic to express properties. In this paper we propose a more flexible application of SMC, where both the model and the properties can be defined in a programming language. The technique builds upon the well-known property-based testing approach. We use the programming language C# and its associated tool FsCheck to demonstrate our approach. A stochastic counter serves as illustrating example.

Publication in Theory and Practice of Formal Methods

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 – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, pages 15–32. Springer, 2016. (PDF)(doi:10.1007/978-3-319-30734-3_4)

Publication at A-MOST 2016

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 Workshop on Advances in Model Based Testing (A-MOST 2016), Chicago, IL, USA, April 11-15, 2016, pages 219–228. IEEE Computer Society, 2016. (PDF)(doi:10.1109/ICSTW.2016.24)

The paper will be presented on the 12th Workshop on Advances in Model Based Testing A-MOST 2016 in Chicago, USA on 11 April 2016.  The workshop is part of the International Conference on Software Testing, Verification and Validation ICST 2016.

It seems to be the first publication about the property-based testing tool FsCheck.


Previous work has demonstrated that property-based testing can successfully be applied to web services. For example, it has been shown that JSON schemas can be used to automatically derive test-case generators for web forms. This paper presents a test-case generation approach for web services that takes business rule models as input for property-based testing. We parse these models to automatically derive generators for sequences of web service requests together with their required form data. Most of the work in this field applies property-based testing in the context of functional programming. Here, we define our properties in an object-oriented style in C# and its tool FsCheck. We apply our method to the business rule models of an industrial web service application in the automotive domain.