Biblio
“Automated DD-path Testing and its Significance in SDLC Phases”, Journal of Digital Information Management, vol. 13, no. 5, pp. 337 - 345, 2015.
, “NL2 Alloy: A tool to generate alloy from NL constraints”, Journal of Digital Information Management, vol. 10, no. 6, pp. 365 - 372, 2012.
,