Amit M. Paradkar

According to our database, Amit M. Paradkar authored at least 53 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Dynamic- X-Y: A Tool for Learning Dynamic Alert Suppression Policies in AIOps.

Karan Bhukar, Harshit Kumar, Seema Nagar, Pooja Aggarwal, Ian Manning, Rohan Arora, Ruchi Mahindru, Amit M. Paradkar, Matthew Thornhill, Stephen Cook, Jack Buggins

Proceedings of the 16th International Conference on COMmunication Systems & NETworkS, 2024

2021

Causal Modeling based Fault Localization in Cloud Systems using Golden Signals.

Pooja Aggarwal, Seema Nagar, Ajay Gupta, Larisa Shwartz, Prateeti Mohapatra, Qing Wang, Amit M. Paradkar, Atri Mandal

Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020

Localization of Operational Faults in Cloud Applications by Mining Causal Dependencies in Logs Using Golden Signals.

Pooja Aggarwal, Ajay Gupta, Prateeti Mohapatra, Seema Nagar, Atri Mandal, Qing Wang, Amit M. Paradkar

Proceedings of the Service-Oriented Computing - ICSOC 2020 Workshops, 2020

Question Quality Improvement: Deep Question Understanding for Incident Management in Technical Support Domain.

Anupama Ray, Pooja Aggarwal, Csaba Hadhazi, Gargi Dasgupta, Amit M. Paradkar

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Transforming the IT Services Lifecycle with AI Technologies

Kristof Kloeckner, John Davis, Nicholas C. Fuller, Giovanni Lanfranchi, Stefan Pappe, Amit M. Paradkar, Larisa Shwartz, Maheswaran Surendra, Dorothea Wiesmann

Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-94047-2, 2018

Building a cognitive platform for the managed IT services lifecycle.

Kristof Kloeckner, Constantin Adam, Nikos Anerousis, Naga Ayachitula, Muhammed Fatih Bulut, Gargi Dasgupta, Yu Deng, Yixin Diao, Nicholas C. Fuller, Sandeep Gopisetty, Milton Hernandez, Jinho Hwang, Pietro Iannucci, Anup K. Kalia, Giovanni Lanfranchi, David Lanyi, Heiko Ludwig, A. Mahamuni, Ruchi Mahindru, Fan Jing Meng, Hamid R. Motahari Nezhad, Karin Murthy, Taiga Nakamura, Amit M. Paradkar, Dennis A. Perpetua, Birgit Pfitzmann, Daniela Rosu, Larisa Shwartz, Zhong Su, Maheswaran Surendra, Shu Tao, Hagen Völzer, Maja Vukovic, Dorothea Wiesmann, S. Wozniak, Gary Wright, Jin Xiao, Sai Zeng

IBM J. Res. Dev., 2018

Domain Knowledge Driven Key Term Extraction for IT Services.

Prateeti Mohapatra, Yu Deng, Abhirut Gupta, Gargi Dasgupta, Amit M. Paradkar, Ruchi Mahindru, Daniela Rosu, Shu Tao, Pooja Aggarwal

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

COBOTS - A Cognitive Multi-Bot Conversational Framework for Technical Support.

Sethuramalingam Subramaniam, Pooja Aggarwal, Gargi Banerjee Dasgupta, Amit M. Paradkar

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2016

Towards establishing causality between change and incident.

Sinem Güven, Karin Murthy, Larisa Shwartz, Amit M. Paradkar

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

2014

Understanding the role of sentiment analysis in contract risk classification.

Sinem Güven, Mathias Steiner, Niyu Ge, Amit M. Paradkar

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

Mining for Gold: How to Predict Service Contract Performance with Optimal Accuracy Based on Ordinal Risk Assessment Data.

Sinem Güven, Mathias Steiner, Tsuyoshi Idé, Amit M. Paradkar, Sergey Makogon, Alejandro Venegas

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2012

Automated extraction of security policies from natural-language software documents.

Xusheng Xiao, Amit M. Paradkar, Suresh Thummalapenta, Tao Xie

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Inferring method specifications from natural language API descriptions.

Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar

Proceedings of the 34th International Conference on Software Engineering, 2012

2010

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

IEEE Trans. Software Eng., 2010

Extending Automated Analysis of Natural Language Use Cases to Other Languages.

Avik Sinha, Amit M. Paradkar, Hironori Takeuchi, Taiga Nakamura

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Use Cases to Process Specifications in Business Process Modeling Notation.

Avik Sinha, Amit M. Paradkar

Proceedings of the IEEE International Conference on Web Services, 2010

Text2Test: Automated Inspection of Natural Language Use Cases.

Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar

Proceedings of the Third International Conference on Software Testing, 2010

Model-Based Testing for the Cloud.

Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases.

Avik Sinha, Amit M. Paradkar, Palani Kumanan, Branimir Boguraev

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.

Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Finding bugs in dynamic web applications.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.

Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.

Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz

Proceedings of the First International Conference on Software Testing, 2008

Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.

Amit M. Paradkar, Avik Sinha

Proceedings of the Service-Oriented Computing, 2008

Time will tell: fault localization using time spectra.

Cemal Yilmaz, Amit M. Paradkar, Clay Williams

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Domain specific approaches to software test automation.

Alan Hartman, Mika Katara, Amit M. Paradkar

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Automated Functional Conformance Test Generation for Semantic Web Services.

Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Automation of Software Test - Report on the Second Interional Workshop AST 2007.

Hong Zhu, W. Eric Wong, Amit M. Paradkar

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques.

Amit M. Paradkar

Inf. Softw. Technol., 2006

Model-based functional conformance testing of web services operating on persistent data.

Avik Sinha, Amit M. Paradkar

Proceedings of the 2006 Workshop on Testing, 2006

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations.

Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

A software flaw taxonomy: aiming tools at security.

Sam Weber, Paul A. Karger, Amit M. Paradkar

ACM SIGSOFT Softw. Eng. Notes, 2005

Case studies on fault detection effectiveness of model based test generation techniques.

Amit M. Paradkar

ACM SIGSOFT Softw. Eng. Notes, 2005

Toward Engineered, Useful Use Cases.

Clay Williams, Matthew Kaplan, Tim Klinger, Amit M. Paradkar

J. Object Technol., 2005

2004

Towards model-based generation of self-priming and self-checking conformance tests for interactive system.

Amit M. Paradkar

Inf. Softw. Technol., 2004

Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications.

Amit M. Paradkar

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

A Framework and Tool for Porting Assessment and Remediation.

Donald P. Pazel, Pradeep Varma, Amit M. Paradkar, Beth Tibbitts, Ashok Anand, Philippe Charles

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Automated Consistency and Completeness Checking of Testing Models for Interactive Systems.

Amit M. Paradkar, Tim Klinger

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems.

Amit M. Paradkar

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Selecting Small Yet Effective Set of Test Data.

Amit M. Paradkar

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2000

SALT - An Integrated Environment to Automate Generation of Function Tests for APIs.

Amit M. Paradkar

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1999

Efficient regression testing of multi-panel systems.

Clay Williams, Amit M. Paradkar

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1997

Specification-Based Testing Using Cause-Effect Graphs.

Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk

Ann. Softw. Eng., 1997

1996

Automatic test-generation for predicates [software testing].

Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk

IEEE Trans. Reliab., 1996

Automatic test generation for predicates.

Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Inter-class testing of O-O software in the presence of polymorphism.

Amit M. Paradkar

Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

1995

Test generation for Boolean expressions.

Amit M. Paradkar, Kuo-Chung Tai

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

A new solution to test generation for Boolean expressions.

Amit M. Paradkar

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994

Evaluation of a Predicate-Based Software Testing Strategy.

Kuo-Chung Tai, Mladen A. Vouk, Amit M. Paradkar, Peng Lu

IBM Syst. J., 1994

Empirical studies of predicate-based software testing.

Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

On the experience of using cause-effect graphs for software specification and test generation.

Amit M. Paradkar

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993

Fault-based test generation for cause-effect graphs.

Kuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1990

Modeling execution time of multi-stage N-version fault-tolerant software.

Mladen A. Vouk, Amit M. Paradkar, David F. McAllister

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990