Symbolic Execution of Transition Systems with Function Summaries.

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto

Browse the full TAP paper archive.