6 citations · 6 across the 1 of their papers we have counts for
3 papers
Compositional Specifications for ioco Testing
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn +1
Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays,…
Linear Distances between Markov Chains
Przemysław Daca, Thomas A. Henzinger, Jan Křetínský +1
We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the to…
Array Folds Logic
Przemysław Daca, Thomas A. Henzinger, Andrey Kupriyanov
We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statement…