Skip to content

Generation of C++ Unit Tests from Abstract State Machines Specifications.

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor

VenueAICST
Year2018
ProceedingsICST Workshops

Browse the full ICST paper archive.