@article{Ernst&al2001,
title = {Dynamically discovering likely program invariants to support program evolution},
author = {Michael D. Ernst and Jake Cockrell and William G. Griswold and David Notkin},
journal = {IEEE Trans. Software Engineering},
month = {February},
number = {2},
pages = {1--25},
publisher = { IEEE Computer Society Press },
volume = {27},
year = {2001},
description = {The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008},
keywords = {analysis dynamic evolution program }
}
::