Finding Bugs in C Code: Finding and Fixing Runtime Errors

This white paper discusses how the Reactis~for~C automatic test generation tool may be used to find runtime errors ...

www.reactive-systems.com