:: Publications in the Area of Program Analysis for Bug-checking
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders. All persons
copying this information are expected to adhere to the terms and
constraints invoked by each author's copyright. In most cases, these
works may not be reposted without the explicit permission of the
copyright holder.
Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney and Bernhard Scholz. BegBunch - Benchmarking for C Bug Detection Tools, International Workshop on Defects in Large Software Systems, July 19, 2009, Chicago, Illinois.
Daniel Dawson, Nathan Hawes, Christian Hoermann, Nathan Keynes and Cristina Cifuentes. Finding Bugs in Open Source Kernels using Parfait, Kernel Conference Australia, July 15-17, 2009, Brisbane, Australia.