3 citations · 7 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013
On the Structure and Complexity of Rational Sets of Regular Languages
Andreas Holzer, Christian Schallhart, Michael Tautschnig +1
In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C. In essenc…
cs.LO2013★ 3 cited
Partial Orders for Efficient BMC of Concurrent Software
Jade Alglave, Daniel Kroening, Michael Tautschnig
The vast number of interleavings that a concurrent program can have is typically identified as the root cause of the difficulty of automatic analysis of concurrent software. Weak m…