7 citations · 27 across the 17 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013
Abstract Acceleration of General Linear Loops
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
We present abstract acceleration techniques for computing loop invariants for numerical programs with linear assignments and conditionals. Whereas abstract interpretation technique…
cs.SE2013★ 1 cited
Chaining Test Cases for Reactive System Testing (extended version)
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…