End to End Specification based Test Generation of Web Applications. - Khusbu Bubna (ENASE, 2016)

ACT (Abstract to Concrete Tests) - A tool for generating Concrete test cases from Formal Specification of Web Applications. - Khusbu Bubna; Sujit Kumar Chakrabarti (ModSym+SAAAS@ISEC, 2016)