Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}