A. Paradkar

Most-cited papers

Inferring method specifications from natural language API descriptions
Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie +2 more
2012International Conference on Software Engineering208 citations
Semantic Scholar
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Shay Artzi, Adam Kiezun, Julian T Dolby, Frank Tip +3 more
2010IEEE Transactions on Software Engineering202 citations Open access
Semantic Scholar
Finding bugs in dynamic web applications
Shay Artzi, Adam Kiezun, Julian T Dolby, Frank Tip +3 more
2008International Symposium on Software Testing and Analysis189 citations Open access
Semantic Scholar
Automated extraction of security policies from natural-language software documents
Xusheng Xiao, A. Paradkar, Suresh Thummalapenta, Tao Xie
2012SIGSOFT FSE162 citations
Semantic Scholar
Innovation in start-ups: Ideas filling the void or ideas devoid of resources and capabilities?
A. Paradkar, J. Knight, P. Hansen
2015112 citations
Semantic Scholar
A software flaw taxonomy
S. Weber, P. Karger, A. Paradkar
2005SESS@ICSE72 citations
Semantic Scholar
Text2Test: Automated Inspection of Natural Language Use Cases
Avik Sinha, S. Sutton, A. Paradkar
20102010 Third International Conference on Software Testing, Verification and Validation71 citations
Semantic Scholar
A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases
Avik Sinha, A. Paradkar, Palani Kumanan, B. Boguraev
20092009 IEEE/IFIP International Conference on Dependable Systems & Networks63 citations
Semantic Scholar
Test generation for Boolean expressions
A. Paradkar, Kuo-Chung Tai
1995Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'9563 citations
Semantic Scholar
Model-based functional conformance testing of web services operating on persistent data
Avik Sinha, A. Paradkar
2006TAV-WEB '0660 citations
Semantic Scholar
Use Cases to Process Specifications in Business Process Modeling Notation
Avik Sinha, A. Paradkar
2010IEEE International Conference on Web Services54 citations
Semantic Scholar
Localization of Operational Faults in Cloud Applications by Mining Causal Dependencies in Logs Using Golden Signals
Pooja Aggarwal, Ajay Gupta, P. Mohapatra, Seema Nagar +3 more
2020ICSOC Workshops48 citations
Semantic Scholar
Specification‐based testing using cause‐effect graphs
A. Paradkar, Kuo-Chung Tai, M. Vouk
1997Annals of Software Engineering46 citations
Semantic Scholar
Automated Functional Conformance Test Generation for Semantic Web Services
A. Paradkar, Avik Sinha, Clay E. Williams, Robert D. Johnson +3 more
2007IEEE International Conference on Web Services (ICWS 2007)38 citations
Semantic Scholar
Automatic test generation for predicates
A. Paradkar, Kuo-Chung Tai, M. Vouk
1996IEEE International Symposium on Software Reliability Engineering34 citations
Semantic Scholar
Toward Engineered, Useful Use Cases
Clay E. Williams, M. Kaplan, T. Klinger, A. Paradkar
2005Journal of Object Technology31 citations Open access
Semantic Scholar
Empirical studies of predicate-based software testing
M. Vouk, Kuo-Chung Tai, A. Paradkar
1994Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering31 citations
Semantic Scholar
Case studies on fault detection effectiveness of model based test generation techniques
A. Paradkar
2005ACM SIGSOFT Softw. Eng. Notes28 citations
Semantic Scholar
Evaluation of a Predicate-Based Software Testing Strategy
Kuo-Chung Tai, M. Vouk, A. Paradkar, Peng Lu
1994IBM Systems Journal28 citations
Semantic Scholar
Acceptance of genetically modified food in India: perspectives of gatekeepers
J. Knight, A. Paradkar
200825 citations
Semantic Scholar
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation
M. Kaplan, T. Klinger, A. Paradkar, Avik Sinha +2 more
2008International Conference on Information Control Systems & Technologies20 citations
Semantic Scholar
COBOTS - A Cognitive Multi-Bot Conversational Framework for Technical Support
Sethuramalingam Subramaniam, Pooja Aggarwal, Gargi Dasgupta, A. Paradkar
2018Adaptive Agents and Multi-Agent Systems18 citations
Semantic Scholar
On Generating EFSM Models from Use Cases
Avik Sinha, A. Paradkar, Clay E. Williams
2007International Workshop on Scenarios and state machines: models, algorithms, and tools17 citations
Semantic Scholar
Inter-class testing of O-O software in the presence of polymorphism
A. Paradkar
1996Conference of the Centre for Advanced Studies on Collaborative Research16 citations
Semantic Scholar
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
A. Hartman, Mika Katara, A. Paradkar
2007Fast Software Encryption Workshop15 citations
Semantic Scholar
SALT-an integrated environment to automate generation of function tests for APIs
A. Paradkar
2000Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 200015 citations
Semantic Scholar
Automatic test-generation for predicates [software testing]
A. Paradkar, Kuo-Chung Tai, M. Vouk
1996IEEE Transactions on Reliability15 citations
Semantic Scholar
Modeling execution time of multi-stage N-version fault-tolerant software
M. Vouk, A. Paradkar, D. McAllister
1990Proceedings., Fourteenth Annual International Computer Software and Applications Conference14 citations
Semantic Scholar
Towards model-based generation of self-priming and self-checking conformance tests for interactive systems
A. Paradkar
2003ACM Symposium on Applied Computing13 citations
Semantic Scholar
Causal Modeling based Fault Localization in Cloud Systems using Golden Signals
Pooja Aggarwal, Seema Nagar, Ajay Gupta, Larisa Shwartz +4 more
2021IEEE International Conference on Cloud Computing12 citations
Semantic Scholar
Towards establishing causality between change and incident
Sinem Guven, K. Murthy, Larisa Shwartz, A. Paradkar
2016IEEE/IFIP Network Operations and Management Symposium12 citations
Semantic Scholar
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
Avik Sinha, M. Kaplan, A. Paradkar, Clay E. Williams
2008ACM/IEEE International Conference on Model Driven Engineering Languages and Systems12 citations
Semantic Scholar
An Analysis Engine for Dependable Elicitation of Natural Language Use Case Description and Its Application to Industrial Use Cases
Avik Sinha, A. Paradkar, Palani Kumanan, B. Boguraev
200812 citations
Semantic Scholar
Plannable test selection criteria for FSMs extracted from operational specifications
A. Paradkar
2004IEEE International Symposium on Software Reliability Engineering12 citations
Semantic Scholar
Domain Knowledge Driven Key Term Extraction for IT Services
P. Mohapatra, Yu Deng, Abhirut Gupta, Gargi Dasgupta +5 more
2018International Conference on Service Oriented Computing11 citations
Semantic Scholar
A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques
A. Paradkar
2006Information and Software Technology11 citations
Semantic Scholar
Time will tell
Cemal Yilmaz, A. Paradkar, Clay E. Williams
20082008 ACM/IEEE 30th International Conference on Software Engineering10 citations
Semantic Scholar
Domain specific approaches to software test automation
A. Hartman, Mika Katara, A. Paradkar
2007ESEC-FSE companion '0710 citations
Semantic Scholar
Efficient regression testing of multi-panel systems
Clay E. Williams, A. Paradkar
1999Proceedings - International Symposium on Software Reliability Engineering10 citations
Semantic Scholar
Domain specific approaches to software test automation
A. Hartman, Mika Katara, A. Paradkar
2007ESEC-FSE '079 citations
Semantic Scholar
Building a cognitive platform for the managed IT services lifecycle
K. Kloeckner, C. Adam, Nikos Anerousis, Naga Ayachitula +34 more
2018IBM Journal of Research and Development8 citations
Semantic Scholar
Understanding the role of sentiment analysis in contract risk classification
Sinem Guven, Mathias Steiner, Niyu Ge, A. Paradkar
2014IEEE/IFIP Network Operations and Management Symposium8 citations
Semantic Scholar
Fault-based test generation for cause-effect graphs
Kuo-Chung Tai, A. Paradkar, Hsun-Kang Su, M. Vouk
1993Conference of the Centre for Advanced Studies on Collaborative Research8 citations
Semantic Scholar
A new solution to test generation for Boolean expressions
A. Paradkar
1995Conference of the Centre for Advanced Studies on Collaborative Research7 citations
Semantic Scholar
On the experience of using cause-effect graphs for software specification and test generation
A. Paradkar
1994Conference of the Centre for Advanced Studies on Collaborative Research7 citations
Semantic Scholar
Extending Automated Analysis of Natural Language Use Cases to Other Languages
Avik Sinha, A. Paradkar, H. Takeuchi, Taiga Nakamura
2010IEEE International Requirements Engineering Conference6 citations
Semantic Scholar
Model-Based Testing for the Cloud
A. Bertolino, Wolfgang Grieskamp, R. Hierons, Y. Le Traon +5 more
2010Practical Software Testing: Tool Automation and Human Factors6 citations
Semantic Scholar
Transforming the IT Services Lifecycle with AI Technologies
K. Kloeckner, John S. Davis, Nicholas C. Fuller, G. Lanfranchi +5 more
2018SpringerBriefs in Computer Science5 citations
Semantic Scholar
Question Quality Improvement: Deep Question Understanding for Incident Management in Technical Support Domain
Anupama Ray, Pooja Aggarwal, Csaba Hadhazi, Gargi Dasgupta +1 more
2020AAAI Conference on Artificial Intelligence4 citations Open access
Semantic Scholar
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System
S. Weber, A. Paradkar, S. McIntosh, David C. Toll +3 more
2008IEEE International Symposium on Software Reliability Engineering4 citations
Semantic Scholar