Automated Generation of Interval Properties From Trace-Based Function Models Author(s): Robert Kunzelmann, Aishwarya Sridhar, Daniel Gerl, Lakshmi Vidhath Boga, Wolfgang Ecker Download
