Second-Guessing in Tracing Tasks Considered Harmful?

Bhushan Chitre, Jane Huffman Hayes, Alexander Dekhtyar

[Context and motivation] Trace matrices are lynch pins for the development of mission- and safety-critical software systems and are useful for all software systems, yet automated m…