Behind the scenes in SANTE: a combination of static and dynamic analyses

Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski. Behind the scenes in SANTE: a combination of static and dynamic analyses. Automated Software Engineering, 21(1):107-143, 2014. [doi]

Abstract

Abstract is missing.