%0 Journal Article %1 journals/tse/ErnstCGN01 %A Ernst, Michael D. %A Cockrell, Jake %A Griswold, William G. %A Notkin, David %D 2001 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 99-123 %T Dynamically Discovering Likely Program Invariants to Support Program Evolution. %U http://dblp.uni-trier.de/db/journals/tse/tse27.html#ErnstCGN01 %V 27

@article{journals/tse/ErnstCGN01, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ernst, Michael D. and Cockrell, Jake and Griswold, William G. and Notkin, David}, biburl = {https://www.bibsonomy.org/bibtex/2da0ab18c53ecd978974ace045702855c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.908957}, interhash = {685d285ffa1b5dae04c6780ca17c24e7}, intrahash = {da0ab18c53ecd978974ace045702855c}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {99-123}, timestamp = {2024-05-13T07:29:52.000+0200}, title = {Dynamically Discovering Likely Program Invariants to Support Program Evolution.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse27.html#ErnstCGN01}, volume = 27, year = 2001 }