Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2015.2431688
Full Text
Open PDFAbstract
Available in full text
Categories
Date
October 1, 2015
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)