On the Generation of Invalid Objects for Inferring More Precise Class Invariants

Boockmann, Jan HenrikJan HenrikBoockmann0000-0001-6816-8393Jacob, KerstinKerstinJacob0000-0002-5595-1394Lüttgen, GeraldGeraldLüttgen0000-0002-0925-48702025-12-152025-12-15202597830321044349783032104441https://fis.uni-bamberg.de/handle/uniba/112155engOn the Generation of Invalid Objects for Inferring More Precise Class Invariantsconferenceobject10.1007/978-3-032-10444-1_9