Specialization with Constrained Generalization for Software Model Checking.

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Browse the full LOPSTR paper archive.