Vol-588⫷ Vol-589 ⫸Vol-590
urn:nbn:de:0074-589-0


None⫷None⫸None
Massimo NarizzanoGabriele PalmaEnrico GiunchigliaDamiano AngelettiSalvatore SabinaAlessandra Puddu

Improving the Automatic Test Generation process for Coverage Analysis using CBMC