Extended Symbolic Transition Graphs with Assignment. - Weijia Deng; Huimin Lin (COMPSAC (1), 2005)

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. - Matt Staats; Weijia Deng; Ajitha Rajan; Mats Per Erik Heimdahl; Kurt Woodham (ASE, 2008)