Using the requirements specification to infer the implicit test status of requirements. Morciniec, T. and Podelski, A. In Zowghi, D.; Gervasi, V.; and Amyot, D., editors, RE, pages 362-371, 2015. IEEE Computer Society.
Link
Paper bibtex @inproceedings{conf/re/MorciniecP15,
added-at = {2015-11-10T00:00:00.000+0100},
author = {Morciniec, Tobias and Podelski, Andreas},
biburl = {http://www.bibsonomy.org/bibtex/27cc6e2c66746cd7e97615438ff5185e1/dblp},
booktitle = {RE},
crossref = {conf/re/2015},
editor = {Zowghi, Didar and Gervasi, Vincenzo and Amyot, Daniel},
ee = {http://dx.doi.org/10.1109/RE.2015.7320453},
interhash = {de6360f3b8333b1f08911c72f22bb81b},
intrahash = {7cc6e2c66746cd7e97615438ff5185e1},
isbn = {978-1-4673-6905-3},
keywords = {dblp},
pages = {362-371},
publisher = {IEEE Computer Society},
timestamp = {2015-11-11T11:50:39.000+0100},
title = {Using the requirements specification to infer the implicit test status of requirements.},
url = {http://dblp.uni-trier.de/db/conf/re/re2015.html#MorciniecP15},
year = 2015
}