Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang: Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods 2012: 120-125