%0 Journal Article %1 journals/ase/GroceAJMH18 %A Groce, Alex %A Ahmed, Iftekhar %A Jensen, Carlos %A McKenney, Paul E. %A Holmes, Josie %D 2018 %J Autom. Softw. Eng. %K dblp %N 4 %P 917-960 %T How verified (or tested) is my code? Falsification-driven verification and testing. %U http://dblp.uni-trier.de/db/journals/ase/ase25.html#GroceAJMH18 %V 25

@article{journals/ase/GroceAJMH18, added-at = {2018-10-18T00:00:00.000+0200}, author = {Groce, Alex and Ahmed, Iftekhar and Jensen, Carlos and McKenney, Paul E. and Holmes, Josie}, biburl = {https://www.bibsonomy.org/bibtex/2905d5ef276ca9d2fe2876de94a720162/dblp}, ee = {https://doi.org/10.1007/s10515-018-0240-y}, interhash = {1799ea5705745f81ff7608732488054e}, intrahash = {905d5ef276ca9d2fe2876de94a720162}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 4, pages = {917-960}, timestamp = {2018-10-19T11:37:58.000+0200}, title = {How verified (or tested) is my code? Falsification-driven verification and testing.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase25.html#GroceAJMH18}, volume = 25, year = 2018 }