A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Exhaustive Property Oriented Model-based Testing With Symbolic Finite State Machines (Technical Report)
2021
Zenodo
This technical report is an extended version of a paper with the same title, submitted by the authors to the SEFM 2021 conference https://sefm-conference.github.io. In this paper, new contributions to property oriented testing (POT) against SFSM models are presented. While several POT approaches are known, none of these is exhaustive in the sense that every implementation violating the property is uncovered by a given test suite under certain hypotheses. On the other hand, numerous exhaustive
doi:10.5281/zenodo.5719524
fatcat:ldoetucxojhbjpfvwi67x6i4va