Selected Publications

Note: The electronic versions of the published papers are made available to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders.
Code Drones
Mithun P. Acharya, Chris Parnin, Nicholas A. Kraft, Aldo Dagnino, and Xiao Qu
In 38th IEEE International Conference on Software Engineering (ICSE 2016), Visions 2025 track
Austin Texas, USA, May 2016
[ abstract | pdf | slides | BibTex ]
Oracle-Based Regression Test Selection
Tingting Yu, Xiao Qu, Mithun Acharya, and Gregg Rothermel
In Proceedings of the 6th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2013)
Luxembourg, March 2013
[ abstract | pdf | slideshare | slides | BibTex ]
Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems [ abstract | pdf | BibTex ]
Mithun Acharya and Brian Robinson, 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2012), Research Tool Demonstrations, Cary, NC, USA, November 2012
Configuration Selection Using Code Change Impact Analysis for Regression Testing
Xiao Qu, Mithun Acharya, and Brian Robinson
In Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM 2012), pages 129-138
Riva Del Garda, Trento, Italy, September 2012
[ abstract | pdf | BibTex ]
Static API Specification Mining: Exploiting Source Code Model Checking
Mithun Acharya and Tao Xie
Mining Software Specifications: Methodologies and Applications, Chapter 5, pages 113-158
David Lo, Siau-Cheng Khoo, Chao Liu, and Jiawei Han editors
Chapman and Hall/CRC Data Mining and Knowledge Discovery series, 2011
[ abstract | pdf |BibTex]
+Invited Book Chapter
Impact Analysis of Configuration Changes for Test Case Selection
Xiao Qu, Mithun Acharya, and Brian Robinson
In Proceedings of the 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE 2011), pages 140-149
Hiroshima, Japan, November/December 2011
[ abstract | pdf | BibTex ]
Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
Mithun Acharya and Brian Robinson
In Proceedings of the 33rd IEEE/ACM SIGSOFT International Conference on Software Engineering (ICSE 2011), Software Engineering in Practice, pages 746-765
Waikiki, Honolulu, Hawaii, USA, May 2011
[ abstract | pdf | BibTex ]
Method for Distributing Keys for Encrypted Data Transmission in a Preferably Wireless Sensor Network
Dirk Westhoff, Joao Girao, and Mithun Acharya
United States Patent7702905, issued 2010
German Patent 10 2004 057 981, issued 2010
Japanese Patent Office Publication 2012-039673 A
[ abstract | pdf |BibTex]
+ Research Tool Demonstrations, FSE 2012
Mining Health Models for Performance Monitoring of Services
Mithun Acharya and Vamshidhar Kommineni
In Proceedings of the 24th IEEE/ACM SIGSOFT/SIGART International Conference on Automated Software Engineering (ASE 2009), pages 409-420
Auckland, New Zealand, November 2009
[ abstract | pdf | BibTex ]
Mining API Error-Handling Specifications from Source Code
Mithun Acharya and Tao Xie
In Proceedings of the ETAPS 2009 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009), pages 370-384
(Lecture Notes in Computer Science (LNCS) 5503 Springer 2009, ISBN 978-3-642-00592-3, Marsha Chechik and Martin Wirsing Eds.)
York, United Kingdom, March 2009
[ abstract | pdf | BibTex ]
Mining API Specifications from Source Code for Improving Software Reliability
PhD Dissertation, Department of Computer Science, North Carolina State University, December 2008
Improving Software Reliability and Productivity via Mining Program Source Code [ abstract | pdf | BibTex ]
Tao Xie, Mithun Acharya, Suresh Thummalapenta, and Kunal Taneja. In Proceedings of the NSF Next Generation Software Program Workshop at IPDPS 2008 (NSFNGS 2008), pages 1-5. Miami, Florida, April 2008
+ Visit MineCode page for details on our Mining Program Source Code project. A bibliography on Mining Software Engineering Data can be found here
Jamming Vulnerabilities of 802.11e
David Thuente, Ben Newlin, and Mithun Acharya
In Proceedings of the 26th IEEE Military Communications Conference (MILCOM 2007), Unclassified Article, pages 1-7
Orlando, Florida, USA, October 2007
[ abstract | pdf | BibTex ]
Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications
Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu
In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pages 25-34
Dubrovnik, Croatia, September 2007
[ abstract | pdf | BibTex ]
Mining Interface Specifications for Generating Checkable Robustness Properties
Mithun Acharya, Tao Xie, and Jun Xu
In Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), pages 311-320
Raleigh, NC, USA, November 2006
[ abstract | pdf | BibTex ]
Intelligent Jamming in Wireless Networks with Applcations to 802.11b and other Networks
David Thuente and Mithun Acharya
In Proceedings of the 25th IEEE Communication Society Military Communications Conference (MILCOM 2006), 'Wireless Technologies - Security' track, Unclassified Article, pages 1075-1081
Washington DC, USA, October 2006
[ abstract | pdf | BibTex ]
+ Nominee, Fred W. Ellersick Best Unclassified Paper Award
Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks: Encryption, Key Distribution and Routing Adaptation
Dirk Westhoff, Joao Girao, and Mithun Acharya
IEEE Transactions on Mobile Computing (TMC 2006), Vol. 5, No. 10, pages 1417-1431, October 2006
[ abstract | pdf | BibTex ]
+ Featured Article
Effective Generation of Interface Robustness Properties for Static Analysis [ abstract | pdf | BibTex ]
Mithun Acharya, Tanu Sharma, Jun Xu, and Tao Xie. In Proceedings of the 21st IEEE/ACM SIGSOFT/SIGART International Conference on Automated Software Engineering (ASE 2006), Short Paper, pages 293-296. Tokyo, Japan, September 2006
Secure Comparison of Encrypted Data in Wireless Sensor Networks
Mithun Acharya, Joao Girao, and Dirk Westhoff
In Proceedings of the 3rd IEEE/ACM International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks (WiOpt 2005), pages 47-53
Riva del Garda, Trentino, Italy, April 2005
[ abstract | pdf | BibTex ]
Service

Some current and past professional service activities include serving on the program committee of conferences/tracks such as Mining Software Repositories (MSR), ISSRE, Tool Demonstrations at Automated Software Engineering (ASE), student research competitions at ICSE and FSE, ISEC, ICPC Industry, ISSRE Industry; co-organizing Testing Embedded and Cyber-Physical Systems (TECPS) workshop at the International Symposium on Software Testing and Analysis (ISSTA), and serving as a guest editor of Journal of Computer Science and Technology (JCST).

Experience

Google Summer of Code Intern, Google Inc., Mountain View, CA, USA, 5/08 - 8/08
Team: Java PathFinder, mentored by the Robust Software Engineering (RSE) group at NASA Ames Research
Intern, Microsoft Research, Redmond, WA, USA, 5/07 - 8/07
Team: worked with the team that was a part of the RedDog (Windows Azure) project, Microsoft Center for Software Excellence
Intern, IBM Research, T. J. Watson Research Center, Hawthorne, NY, USA, 5/06 - 8/06
Team: Software Technology Department, Programming Languages and Software Engineering
Intern, NEC Labs Europe, Heidelberg, Germany, 6/04 - 12/04
Team: Software and Services Research Division
Graduate RA/TA, North Carolina State University, Raleigh, NC, USA, M.S./Ph.D. semesters
Department: Computer Science
+ University Outstanding Teaching Assistant Award, 4/07
+ NC State University Graduate Student Association certificate in recognition of outstanding research, 3/06
+ Member, Honor Society of Phi Kappa Phi for academic excellence
+ Department scholarship for doctoral research/studies, 4/04 - 12/06
+ PhD research supported by two Army Research Office (ARO) grants and a National Science Foundation (NSF) grant
Visiting Intern, Indian Institute of Science, Bangalore, India, 7/99 - 9/99, 7/00 - 7/01
Department: Centre for Electronics Design and Technology (CEDT; now, DESE)
Ph.D. in Computer Science, North Carolina State University, 2009
Advisor: Tao Xie