Towards Development of Complete and Conflict-Free Requirements. - Abha Moitra; Kit Siu; Andrew W. Crapo; Harsh Raju Chamarthi; Michael Durling; Meng Li; Han Yu; Panagiotis Manolios; Michael Meiners (RE, 2018)

Automating requirements analysis and test case generation. - Abha Moitra; Kit Siu; Andrew W. Crapo; Michael Durling; Meng Li; Panagiotis Manolios; Michael Meiners; Craig McMillan (Requir. Eng., 2019)