Synthesize It: From Design by Contract to Meaningful Test Input Data | IEEE Conference Publication | IEEE Xplore