A software flaw taxonomy: Aiming tools at security
- Sam Weber
- Paul A. Karger
- et al.
- 2005
- ICSEW 2005
Publications
Date
Featured collections
Popular topics
37 results for Amit Paradkar
Building a cognitive platform for the managed IT services lifecycle
- K. Kloeckner
- Constantin Adam
- et al.
- 2018
- IBM J. Res. Dev
A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques
- Amit Paradkar
- 2006
- Information and Software Technology
Toward engineered, useful use cases
- Clay Williams
- Matthew Kaplan
- et al.
- 2005
- Journal of Object Technology
Towards model-based generation of self-priming and self-checking conformance tests for interactive systems
- Amit Paradkar
- 2004
- Information and Software Technology
Specification-based testing using cause-effect graphs
- Amit Paradkar
- K.C. Tai
- et al.
- 1997
- Annals of Software Engineering
Automatic test-generation for predicates
- Amit Paradkar
- Ibm T. J. Watson
- et al.
- 1996
- IEEE Transactions on Reliability