Learning assertions to verify linked-list programs

Mühlberg, Jan TobiasJan TobiasMühlbergWhite, David H.David H.WhiteDodds, MikeMikeDoddsLüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Piessens, FrankFrankPiessensCalinescu, RaduRumpe , Bernhard2019-09-192016-11-292015978-3-319-22968-3https://fis.uni-bamberg.de/handle/uniba/41306engLearning assertions to verify linked-list programsconferenceobject10.1007/978-3-319-22969-0_3