26 citations · 64 across the 11 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016★ 2 cited
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer +2
Semiconductor companies have increasingly adopted a methodology that starts with a system-level design specification in C/C++/SystemC. This model is extensively simulated to ensure…
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…