IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards integrating statistical model checking into property-based testing

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Author(s): Bernhard K. Aichernig ; Richard Schumi
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2016
Conference Location: Kanpur, India
Conference Date: 18 November 2016
Page(s): 71 - 76
ISBN (Electronic): 978-1-5090-2791-0
ISBN (USB): 978-1-5090-2790-3
DOI: 10.1109/MEMCOD.2016.7797748
Regular:

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... View More

Advertisement