Hidden Dependencies in Open Source Systems


Here is a list of useful tools for dynamic analysis:

Detecting likely invariants - http://groups.csail.mit.edu/pag/daikon/
Simplify theorem prover - http://kind.ucd.ie/products/opensource/Simplify/
Coverage analysis tool - http://www.eclemma.org/
Graph visualization tool - http://www.sosy-lab.org/~dbeyer/CCVisu/
     
©Radu Vanciu & Vąclav Rajlich