Amitkumar M. (Amit) Paradkar  Amitkumar M. (Amit) Paradkar photo       

contact information

Senior Manager, Services Delivery Management & Analytics
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash1141

links

Professional Associations

Professional Associations:  ACM SIGMICRO  |  ACM SIGSOFT  |  IEEE


2008


Requirements modeling and validation using bi-layer use case descriptions
A. Sinha, M. Kaplan, A. Paradkar, C. Williams
Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp. 97--112, Springer, 2008

Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation
A Paradkar, A Sinha
Proceedings of the 6th International Conference on Service-Oriented Computing, pp. 557, 2008

Finding bugs in dynamic web applications
M Ernst, S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, M D Ernst
dspace.mit.edu, 2008


Time will tell: fault localization using time spectra
C. Yilmaz, A. Paradkar, C. Williams
Proceedings of the 30th international conference on Software engineering, pp. 81--90, 2008


2007

Automation of Software Test--Report on the Second Interional Workshop AST 2007
H Zhu, W E Wong, A Paradkar
Companion to the proceedings of the 29th International Conference on Software Engineering, pp. 150--151, 2007

Domain specific approaches to software test automation
A Hartman, M Katara, A Paradkar
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, pp. 621--622, 2007


On generating EFSM models from use cases
A. Sinha, A. Paradkar, C. Williams
Scenarios and State Machines, 2007. SCESM'07: ICSE Workshops 2007. Sixth International Workshop on, pp. 1--1

Automated functional conformance test generation for semantic web services
A.M. Paradkar, A. Sinha, C. Williams, R.D. Johnson, S. Outterson, C. Shriver, C. Liang
Web Services, 2007. ICWS 2007. IEEE International Conference on, pp. 110--117


2006

System and method for interactive and assisted program development
A Anand, A M Paradkar, D P Pazel, B R Tibbitts, P Varma
US Patent App. 11/402,007, 2006 - Google Patents, Google Patents
US Patent App. 11/402,007

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations
A Paradkar, S McIntosh, S Weber, D Toll, P Karger, M Kaplan
IEEE International Symposium on Secure Software Engineering (ISSSE'06), pp. 13--15, 2006

Model-based functional conformance testing of web services operating on persistent data
A Sinha, A Paradkar
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, pp. 22



2005

A software flaw taxonomy: aiming tools at security
S Weber, P A Karger, A Paradkar
Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications, pp. 7

Case studies on fault detection effectiveness of model based test generation techniques
A Paradkar
Proceedings of the 1st international workshop on Advances in model-based testing, pp. 7, 2005

Toward engineered, useful use cases
C. Williams, M. Kaplan, T. Klinger, A. Paradkar
Journal of Object Technology 4(6), 45--57, 2005


2004



Plannable test selection criteria for FSMs extracted from operational specifications
A Paradkar
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04), pp. 173--184, 2004

A framework and tool for porting assessment and remediation
D P Pazel, P Varma, A Paradkar, B Tibbitts, A Anand, P Charles
IEEE International conference on Software Maintenance (ICSM’04)(Chicago, Ilinois, 2004


2003

Selecting Small Yet Effective Set of Test Data
A Paradkar
Applied Informatics, pp. 1013--1019, 2003


2000

SALT-an integrated environment to automate generation of function tests for APIs
A Paradkar
Proceedings of the 2000 International Symposium on Software Reliability Engineering (ISSRE 2000)


1999

Efficient regression testing of multi-panel systems
C. Williams, A. Paradkar
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on, pp. 158--165


1997

Specification-based testing using cause-effect graphs
A Paradkar, KC Tai, MA Vouk
Annals of Software Engineering 4(1), 133--157, Springer, 1997


1996

Automatic test-generation for predicates
A Paradkar, K Tai, M Vouk
IEEE Transactions on reliability 45(4), 515--530, [New York, NY: Institute of Electrical and Electronics Engineers, c1963-, 1996


1995

A new solution to test generation for Boolean expressions
A Paradkar
Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research


1994

Empirical Studies of Predicate-Based Software Testing91
MA Vouk, KC Tai, A Paradkar
Proceedings: 5th International Symposium on Software Reliability Engineering: November 6-9, 1994, Monterey, California, pp. 55

Evaluation of a predicate-based software testing strategy
K C Tai, MA Vouk, AM Paradkar, P Lu
IBM Systems Journal 33(3), 445--457, International Business Machines, 1994

Empirical studies of predicate-based software testing
MA Vouk, KC Tai, A Paradkar
Proceedings of 5th International Symposium on Software Reliability Engineering, pp. 55--64, 1994

On the experience of using cause-effect graphs for software specification and test generation
A Paradkar
Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research


1993

Fault-based test generation for cause-effect graphs
K C Tai, A Paradkar, H K Su, M A Vouk
Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering-Volume 1, pp. 495--504


Year Unknown


A Predicate-Based Software Testing Strategy
KC Tai, MA Vouk, A Paradkar, P Lu
Citeseer, Citeseer, 0

Automation of Software Test--Report on the Second International Workshop AST 2007
H Zhu, W E Wong, A Paradkar
Methodology26, 27--8, 0

Predicate Based Testing
KC Tai, MA Vouk, A Paradkar, P Lu
IBM Systems Journal 33(3), 0