@Article{DBLP:journals/jss/GhabiE15,
  author    = {Achraf Ghabi and Alexander Egyed},
  title     = {Exploiting Traceability Uncertainty among Artifacts and Code},
  journal   = {Journal of Systems and Software},
  year      = {2015},
  volume    = {108},
  pages     = {178--192},
  abstract  = {Traceability between software development artifacts and code has proven
	to save effort and improve quality. However, documenting and maintaining
	such traces remains highly unreliable. Traceability is rarely captured
	immediately while artifacts and code co-evolve. Instead they are
	recovered later. By then key people may have moved on or their recollection
	of facts may be incomplete and inconsistent. This paper proposes
	a language for capturing traceability that allows software engineers
	to express arbitrary assumption about the traceability between artifacts
	and code - even assumptions that may be inconsistent or incomplete.
	Our approach takes these assumptions to reasons about their logical
	consequences (hence increasing completeness) and to reveal inconsistencies
	(hence increasing correctness). In doing so, our approach's reasoning
	is correct even in the presence of known inconsistencies. This paper
	demonstrates the correctness and scalability of our approach on several,
	large-scale third-party software systems. Our approach is automated
	and tool supported.},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jss/GhabiE15},
  doi       = {10.1016/j.jss.2015.06.037},
  file      = {:Journals\\JSS 2015 - Exploiting Traceability Uncertainty Among Artifacts and Code\\Exploiting traceability uncertainty among artifacts and code-preprint.pdf:PDF},
  keywords  = {FWF P23115},
  owner     = {AK117794},
  timestamp = {Fri, 14 Aug 2015 10:29:04 +0200},
  url       = {http://dx.doi.org/10.1016/j.jss.2015.06.037},
}