Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification
Conference proceeding (December 2017)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Conference proceeding (December 2017)
Article in Mathematical Logic Quarterly (December 2017)
Book chapter (January 2012)