24 citations · 24 across the 1 of their papers we have counts for
4 papers
Automating Requirements Traceability: Two Decades of Learning from KDD
Alex Dekhtyar, Jane Huffman Hayes
This paper summarizes our experience with using Knowledge Discovery in Data (KDD) methodology for automated requirements tracing, and discusses our insights.
The REquirements TRacing On target (RETRO).NET Dataset
Jane Huffman Hayes, Jared Payne, Alex Dekhtyar
This paper presents the REquirements TRacing On target (RETRO).NET dataset. The dataset includes the requirement specification, the source code files (C# and Visual Basic), the gol…
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…
Hybrid Probabilistic Programs: Algorithms and Complexity
Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the progr…