ch.usi.si.codelounge:jSicko (maven): jSicko is a Java SImple Contract checKer.
Keywords: assertion-framework|contracts|design-by-contract|java|specification