Model-based functional conformance testing of Web services operating on persistent dataAvik SinhaAmit Paradkar2006TAV WEB 2006
Case studies on fault detection effectiveness of model based test generation techniquesAmit Paradkar2005A-MOST 2005
Automated consistency and completeness checking of testing models for interactive systemsAmit ParadkarTim Klinger2004COMPSAC 2004
Plannable test selection criteria for FSMs extracted from operational specificationsAmit Paradkar2004ISSRE 2004
A framework and tool for porting assessment and remediationDonald P. PazelPradeep Varmaet al.2004ICSM 2004
Towards model-based generation of self-priming and self-checking conformance tests for interactive systemsAmit Paradkar2003SAC 2003
SALT - an integrated environment to automate generation of function tests for APIsAmit Paradkar2000ISSRE 2000