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
}