Dynamically discovering likely program invariants to support program evolution. Ernst, M., Cockrell, J, Griswold, W., & Notkin, D Software Engineering, IEEE Transactions on, 27(2):99–123, 2002. bibtex @Article{Ernst2002,
author = {Ernst, MD and Cockrell, J and Griswold, WG and Notkin, D},
title = {Dynamically discovering likely program invariants to support program evolution},
journal = {Software Engineering, IEEE Transactions on},
volume = {27},
number = {2},
pages = {99--123},
year = {2002},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"QiofjynRAdh7qwjJ4","bibbaseid":"ernst-cockrell-griswold-notkin-dynamicallydiscoveringlikelyprograminvariantstosupportprogramevolution-2002","authorIDs":[],"author_short":["Ernst, M.","Cockrell, J","Griswold, W.","Notkin, D"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ernst"],"firstnames":["MD"],"suffixes":[]},{"propositions":[],"lastnames":["Cockrell"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Griswold"],"firstnames":["WG"],"suffixes":[]},{"propositions":[],"lastnames":["Notkin"],"firstnames":["D"],"suffixes":[]}],"title":"Dynamically discovering likely program invariants to support program evolution","journal":"Software Engineering, IEEE Transactions on","volume":"27","number":"2","pages":"99–123","year":"2002","abstract":"","location":"","keywords":"","bibtex":"@Article{Ernst2002,\nauthor = {Ernst, MD and Cockrell, J and Griswold, WG and Notkin, D}, \ntitle = {Dynamically discovering likely program invariants to support program evolution}, \njournal = {Software Engineering, IEEE Transactions on}, \nvolume = {27}, \nnumber = {2}, \npages = {99--123}, \nyear = {2002}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Ernst, M.","Cockrell, J","Griswold, W.","Notkin, D"],"key":"Ernst2002","id":"Ernst2002","bibbaseid":"ernst-cockrell-griswold-notkin-dynamicallydiscoveringlikelyprograminvariantstosupportprogramevolution-2002","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.748Z","downloads":0,"keywords":[],"search_terms":["dynamically","discovering","program","invariants","support","program","evolution","ernst","cockrell","griswold","notkin"],"title":"Dynamically discovering likely program invariants to support program evolution","year":2002,"dataSources":["hEoKh4ygEAWbAZ5iy"]}