173 citations · 655 across the 66 of their papers we have counts for
1 paper · 2 filters
Peter Schrammel, Tom Melham, Daniel Kroening
Testing of synchronous reactive systems is challenging because long input sequences are often needed to drive them into a state at which a desired feature can be tested. This is pa…