FYI, at gsoc - I talked with the debian folks, and they mentioned there is something called 'klee' which can automatically generate unit tests for c code using llvm. http://static.usenix.org/event/osdi08/tech/full_papers/cadar/cadar_html/ http://klee.llvm.org/ LetterRip