%0 Journal Article %1 journals/tse/BettsCDDK18 %A Betts, Adam %A Chong, Nathan %A Deligiannis, Pantazis %A Donaldson, Alastair F. %A Ketema, Jeroen %D 2018 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 631-650 %T Implementing and Evaluating Candidate-Based Invariant Generation. %U http://dblp.uni-trier.de/db/journals/tse/tse44.html#BettsCDDK18 %V 44

@article{journals/tse/BettsCDDK18, added-at = {2023-03-21T00:00:00.000+0100}, author = {Betts, Adam and Chong, Nathan and Deligiannis, Pantazis and Donaldson, Alastair F. and Ketema, Jeroen}, biburl = {https://www.bibsonomy.org/bibtex/26dab2f61a47311b6df46b2b0631ee8ff/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2017.2718516}, interhash = {671b2cb3aaee99b89aa942b4e91fb6f4}, intrahash = {6dab2f61a47311b6df46b2b0631ee8ff}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {631-650}, timestamp = {2024-04-08T21:06:50.000+0200}, title = {Implementing and Evaluating Candidate-Based Invariant Generation.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse44.html#BettsCDDK18}, volume = 44, year = 2018 }