7 citations · 32 across the 13 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2016★ 2 cited
Hitting Families of Schedules for Asynchronous Programs
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
We consider the following basic task in the testing of concurrent systems. The input to the task is a partial order of events, which models actions performed on or by the system an…
cs.DM2012
Checking Tests for Read-Once Functions over Arbitrary Bases
Dmitry V. Chistikov
A Boolean function is called read-once over a basis B if it can be expressed by a formula over B where no variable appears more than once. A checking test for a read-once function…