6 citations · 10 across the 5 of their papers we have counts for
3 papers · 1 filter
Abstraction-driven Concolic Testing
Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger
Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover d…
Faster Statistical Model Checking for Unbounded Temporal Properties
Przemysław Daca, Thomas A. Henzinger, Jan Křetínský +1
We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, such as reachability and full linear temporal logic. T…
CEGAR for Qualitative Analysis of Probabilistic Systems
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behavio…