Amit M. Paradkar

60 papers A* 4A 17B 6Misc 2Journal 11Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	ITBench: Evaluating AI Agents across Diverse Real-World IT Automation Tasks. ICML Saurabh Jha, Rohan R. Arora, Yuji Watanabe, Takumi Yanagawa, Yinfang Chen, Jackson Clark, Bhavya, Mudit Verma, Harshit Kumar, Hirokuni Kitahara, Noah Zheutlin, Saki Takano, Divya Pathak, Felix George, Xinbo Wu, Bekir O. Turkkan, Gerard Vanloo, Michael Nidd, Ting Dai, Oishik Chatterjee, Pranjal Gupta, Suranjana Samanta, Pooja Aggarwal, Rong Lee, Jae-wook Ahn, Debanjana Kar, Amit M. Paradkar, Yu Deng, Pratibha Moogi, Prateeti Mohapatra, Naoki Abe, Chandrasekhar Narayanaswami, Tianyin Xu, Lav R. Varshney, Ruchi Mahindru, Anca Sailer, Laura Shwartz, Daby Sow, Nicholas C. Fuller, Ruchir Puri
2025	J	`jnl`	ITBench: Evaluating AI Agents across Diverse Real-World IT Automation Tasks. CoRR Saurabh Jha, Rohan R. Arora, Yuji Watanabe, Takumi Yanagawa, Yinfang Chen, Jackson Clark, Bhavya, Mudit Verma, Harshit Kumar, Hirokuni Kitahara, Noah Zheutlin, Saki Takano, Divya Pathak, Felix George, Xinbo Wu, Bekir O. Turkkan, Gerard Vanloo, Michael Nidd, Ting Dai, Oishik Chatterjee, Pranjal Gupta, Suranjana Samanta, Pooja Aggarwal, Rong Lee, Pavankumar Murali, Jae-wook Ahn, Debanjana Kar, Ameet Rahane, Carlos Fonseca, Amit M. Paradkar, Yu Deng, Pratibha Moogi, Prateeti Mohapatra, Naoki Abe, Chandrasekhar Narayanaswami, Tianyin Xu, Lav R. Varshney, Ruchi Mahindru, Anca Sailer, Laura Shwartz, Daby Sow, Nicholas C. Fuller, Ruchir Puri
2024	B	`conf`	Decoding Logs for Automatic Metric Identification. CLOUD Pranjal Gupta, Prateeti Mohapatra, Debanjana Kar, Seema Nagar, Jae-wook Ahn, Amit M. Paradkar, Mudhakar Srivatsa
2024	—	`conf`	Dynamic Alert Suppression Policy for Noise Reduction in AIOps. ICSE-SEIP Karan Bhukar, Harshit Kumar, Ruchi Mahindru, Rohan R. Arora, Seema Nagar, Pooja Aggarwal, Amit M. Paradkar
2024	Misc	`conf`	Dynamic- X-Y: A Tool for Learning Dynamic Alert Suppression Policies in AIOps. COMSNETS Karan Bhukar, Harshit Kumar, Seema Nagar, Pooja Aggarwal, Ian Manning, Rohan R. Arora, Ruchi Mahindru, Amit M. Paradkar, Matthew Thornhill, Stephen Cook, Jack Buggins
2021	B	`conf`	Causal Modeling based Fault Localization in Cloud Systems using Golden Signals. CLOUD Pooja Aggarwal, Seema Nagar, Ajay Gupta, Larisa Shwartz, Prateeti Mohapatra, Qing Wang, Amit M. Paradkar, Atri Mandal
2020	—	`conf`	Localization of Operational Faults in Cloud Applications by Mining Causal Dependencies in Logs Using Golden Signals. ICSOC Workshops Pooja Aggarwal, Ajay Gupta, Prateeti Mohapatra, Seema Nagar, Atri Mandal, Qing Wang, Amit M. Paradkar
2020	A*	`conf`	Question Quality Improvement: Deep Question Understanding for Incident Management in Technical Support Domain. AAAI Anupama Ray, Pooja Aggarwal, Csaba Hadhazi, Gargi Dasgupta, Amit M. Paradkar
2018	J	`jnl`	Building a cognitive platform for the managed IT services lifecycle. IBM J. Res. Dev. 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
2018	A	`conf`	COBOTS - A Cognitive Multi-Bot Conversational Framework for Technical Support. AAMAS Sethuramalingam Subramaniam, Pooja Aggarwal, Gargi Banerjee Dasgupta, Amit M. Paradkar
2018	A	`conf`	Domain Knowledge Driven Key Term Extraction for IT Services. ICSOC Prateeti Mohapatra, Yu Deng, Abhirut Gupta, Gargi Dasgupta, Amit M. Paradkar, Ruchi Mahindru, Daniela Rosu, Shu Tao, Pooja Aggarwal
2018	—	`book`	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
2016	B	`conf`	Towards establishing causality between change and incident. NOMS Sinem Güven, Karin Murthy, Larisa Shwartz, Amit M. Paradkar
2014	—	`conf`	Mining for Gold: How to Predict Service Contract Performance with Optimal Accuracy Based on Ordinal Risk Assessment Data. IEEE SCC Sinem Güven, Mathias Steiner, Tsuyoshi Idé, Amit M. Paradkar, Sergey Makogon, Alejandro Venegas
2014	B	`conf`	Understanding the role of sentiment analysis in contract risk classification. NOMS Sinem Güven, Mathias Steiner, Niyu Ge, Amit M. Paradkar
2012	—	`conf`	Automated extraction of security policies from natural-language software documents. SIGSOFT FSE Xusheng Xiao, Amit M. Paradkar, Suresh Thummalapenta, Tao Xie
2012	A*	`conf`	Inferring method specifications from natural language API descriptions. ICSE Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, Amit M. Paradkar
2010	A	`conf`	Extending Automated Analysis of Natural Language Use Cases to Other Languages. RE Avik Sinha, Amit M. Paradkar, Hironori Takeuchi, Taiga Nakamura
2010	J	`jnl`	Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2010	—	`conf`	Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans
2010	A	`conf`	Text2Test: Automated Inspection of Natural Language Use Cases. ICST Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar
2010	A	`conf`	Use Cases to Process Specifications in Business Process Modeling Notation. ICWS Avik Sinha, Amit M. Paradkar
2009	A	`conf`	A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases. DSN Avik Sinha, Amit M. Paradkar, Palani Kumanan, Branimir Boguraev
2008	A	`conf`	Finding bugs in dynamic web applications. ISSTA Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2008	A	`conf`	Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. ICST Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz
2008	A	`conf`	Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. MoDELS Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams
2008	A	`conf`	Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation. ICSOC Amit M. Paradkar, Avik Sinha
2008	A*	`conf`	Time will tell: fault localization using time spectra. ICSE Cemal Yilmaz, Amit M. Paradkar, Clay Williams
2007	A	`conf`	Automated Functional Conformance Test Generation for Semantic Web Services. ICWS Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang
2007	—	`conf`	Automation of Software Test - Report on the Second Interional Workshop AST 2007. ICSE Companion Hong Zhu, W. Eric Wong, Amit M. Paradkar
2007	—	`conf`	Domain specific approaches to software test automation. ESEC/SIGSOFT FSE Alan Hartman, Mika Katara, Amit M. Paradkar
2007	—	`ed.`	Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007 DOSTA Alan Hartman, Mika Katara, Amit M. Paradkar
2007	—	`ed.`	Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007. AST@ICSE Hong Zhu, W. Eric Wong, Amit M. Paradkar
2006	J	`jnl`	A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques. Inf. Softw. Technol. Amit M. Paradkar
2006	—	`conf`	Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. ISSSE Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan
2006	—	`conf`	Model-based functional conformance testing of web services operating on persistent data. TAV-WEB Avik Sinha, Amit M. Paradkar
2005	—	`conf`	A software flaw taxonomy: aiming tools at security. SESS@ICSE Sam Weber, Paul A. Karger, Amit M. Paradkar
2005	J	`jnl`	A software flaw taxonomy: aiming tools at security. ACM SIGSOFT Softw. Eng. Notes Sam Weber, Paul A. Karger, Amit M. Paradkar
2005	—	`conf`	Case studies on fault detection effectiveness of model based test generation techniques. A-MOST Amit M. Paradkar
2005	J	`jnl`	Case studies on fault detection effectiveness of model based test generation techniques. ACM SIGSOFT Softw. Eng. Notes Amit M. Paradkar
2005	J	`jnl`	Toward Engineered, Useful Use Cases. J. Object Technol. Clay Williams, Matthew Kaplan, Tim Klinger, Amit M. Paradkar
2004	—	`conf`	A Framework and Tool for Porting Assessment and Remediation. ICSM Donald P. Pazel, Pradeep Varma, Amit M. Paradkar, Beth Tibbitts, Ashok Anand, Philippe Charles
2004	B	`conf`	Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. COMPSAC Amit M. Paradkar, Tim Klinger
2004	A	`conf`	Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. ISSRE Amit M. Paradkar
2004	J	`jnl`	Towards model-based generation of self-priming and self-checking conformance tests for interactive system. Inf. Softw. Technol. Amit M. Paradkar
2003	—	`conf`	Selecting Small Yet Effective Set of Test Data. Applied Informatics Amit M. Paradkar
2003	Misc	`conf`	Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems. SAC Amit M. Paradkar
2000	A	`conf`	SALT - An Integrated Environment to Automate Generation of Function Tests for APIs. ISSRE Amit M. Paradkar
1999	A	`conf`	Efficient regression testing of multi-panel systems. ISSRE Clay Williams, Amit M. Paradkar
1997	J	`jnl`	Specification-Based Testing Using Cause-Effect Graphs. Ann. Softw. Eng. Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk
1996	A	`conf`	Automatic test generation for predicates. ISSRE Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk
1996	J	`jnl`	Automatic test-generation for predicates [software testing]. IEEE Trans. Reliab. Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk
1996	—	`conf`	Inter-class testing of O-O software in the presence of polymorphism. CASCON Amit M. Paradkar
1995	—	`conf`	A new solution to test generation for Boolean expressions. CASCON Amit M. Paradkar
1995	A	`conf`	Test generation for Boolean expressions. ISSRE Amit M. Paradkar, Kuo-Chung Tai
1994	A	`conf`	Empirical studies of predicate-based software testing. ISSRE Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar
1994	J	`jnl`	Evaluation of a Predicate-Based Software Testing Strategy. IBM Syst. J. Kuo-Chung Tai, Mladen A. Vouk, Amit M. Paradkar, Peng Lu
1994	—	`conf`	On the experience of using cause-effect graphs for software specification and test generation. CASCON Amit M. Paradkar
1993	—	`conf`	Fault-based test generation for cause-effect graphs. CASCON Kuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk
1990	B	`conf`	Modeling execution time of multi-stage N-version fault-tolerant software. COMPSAC Mladen A. Vouk, Amit M. Paradkar, David F. McAllister