Towards overcoming human analyst fallibility in the requirements tracing process: Nier track

Our research group recently discovered that human analysts, when asked to validate candidate traceability matrices, pro-duce predictably imperfect results, in some cases less accu-rate than the starting candidate matrices. This discovery radically changes our understanding of how to design a fast, accurate and certifiable tracing process that can be imple-mented as part of software assurance activities. We present our vision for the new approach to achieving this goal. Fur-ther, we posit that human fallibility may impact other soft-ware engineering activities involving decision support tools