People into testing everything should also remember there's test generation tools in commercial and FOSS space to reduce work necessary to do this. Here's two e

People into testing everything should also remember there's test generation tools in commercial and FOSS space to reduce work necessary to do this. Here's two examples for LLVM and Java respectively. Including the KLEE PDF since the results in the abstract are pretty amazing. https://klee.github.io/ https://klee.github.io/ https://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf https://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-sym...