1 citations · 1 across the 11 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
A Formal Analysis of Iterated TDD
Hemil Ruparel, Nabarun Mondal
In this paper we formally analyze the software methodology called (iterated) Test Driven Development (TDD). We formally define Specification, Software, Testing, Equivalence Partiti…
cs.SE2016
A declarative Language for Rapid Business Development
Nabarun Mondal, Jatin Puri, Mrunal Lohia
The motivation for ZoomBA are domain specific languages (DSL) like VERILOG, VHDL, Spice. DSL for Software testing is not a new idea, many commercial tools like Silk Suite use them,…