An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Browse the full SAC paper archive.