[ Home | Bio | Research | Activities | Teaching ]

Publications [ abstracts | bib ]

Copyright 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. All persons copying this information are expected to adhere to the terms and conditions invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
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 | bib ]
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 | bib ]
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 | bib ]
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 | bib ]
Research Tool Demonstrations, FSE 2012
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 | bib ]
Invited Book Chapter
Method for Distributing Keys for Encrypted Data Transmission in a Preferably Wireless Sensor Network
Dirk Westhoff, Joao Girao, and Mithun Acharya
United States Patent 7702905, issued 2010
German Patent 10 2004 057 981, issued 2010
Japanese Patent Office Publication 2012-039673 A
[ abstract | pdf | bib ]
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 | bib ]
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 | bib ]
Improving Software Reliability and Productivity via Mining Program Source Code
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
[ abstract | pdf | bib ]
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 | bib ]
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 | bib ]
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 | bib ]
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 | bib ]
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 | bib ]
Featured Article
Effective Generation of Interface Robustness Properties for Static Analysis
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
[ abstract | pdf | bib ]
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 | bib ]

Others

Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems [ abstract | pdf | bib ]
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
Mining API Specifications from Source Code for Improving Software Reliability [ abstract | pdf | bib ]
PhD Dissertation, Department of Computer Science, North Carolina State University, April 2009
Static Detection of API Error Handling Bugs via Mining Source Code
Mithun Acharya and Tao Xie. North Carolina State University Department of Computer Science Technical Report TR-2007-35, October 2007
Mining Health Models for Performance Monitoring of Services
Mithun Acharya and Vamshidhar Kommineni, Internship Report, Microsoft Center for Software Excellence (CSE), Summer of 2007
Improving Software Productivity and Quality via Mining Program Source Code
Mithun Acharya, Suresh Thummalapenta, and Tao Xie. IBM University Day, October 2007, poster
Automatic Inference of Interface Properties from Program Source Code
Mithun Acharya. In Supplemental Proceedings of the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Doctoral Symposium, Portland, Oregon, USA, November 2006
Automatic Generation and Inference of Interface Properties from Program Source Code
Mithun Acharya. In Companion Proceedings of the 20th Annual ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Companion) (OOPSLA 2006), pages 750-751, ACM SIGPLAN Student Research Competition, Portland, Oregon, USA, October 2006
Semi Finals
Inferring Classes and Methods Under Test from Test Cases
Mithun Acharya. "Innovation and Future of Software Development" Event, sponsored by HCI, Programming Languages and Software Engineering PIC and Software Technology Department, IBM Research, T. J. Watson Research Center, Hawthorne, New York, USA, August 2006, poster
Automatic Generation of Robustness and Security Properties from Program Source Code
Mithun Acharya. In Supplemental Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN 2006), pages 166-168, Student Forum, Philadelphia, PA, USA, June 2006
Generating and Inferring Interface Properties for Static Analysis
Mithun Acharya, Tao Xie, and Jun Xu. In Proceedings of the ACM SIGPLAN Mid-Atlantic Student Workshop on Programming Languages and Systems (MASPLAS 2006), Short Paper, Piscataway, New Jersey, USA, April 2006
Automatic Property Inference via Static Analysis and Model Checking
Mithun Acharya, Tao Xie, and Jun Xu. 3rd Annual NC State University Graduate Student Research Symposium, Raleigh, North Carolina, USA, March 2006, poster
Among the two nominated from advanced Computer Science graduate students for presentation at the symposium
Intelligent Jamming Attacks, Counterattacks and (Counter)2attacks in 802.11b Wireless Networks [ abstract | pdf | bib ]
Mithun Acharya and David Thuente. In Proceedings of the OPNETWORK 2005 Conference, Washington DC, USA, August 2005
Intelligent Jamming in 802.11b Wireless Networks [ abstract | pdf | bib ]
Mithun Acharya, Tanu Sharma, David Thuente, and David Sizemore. In Proceedings of the OPNETWORK 2004 Conference, Washington DC, USA, August 2004.
NAMO NAMAHA: Network Assisted Multicast Overlay ConstructioN Algorithms for Mobile Ad Hoc Applications [ bib ]
MS Thesis, Department of Computer Science, North Carolina State University, December 2003
'Laurel and Hardy' Model for Analyzing Process Synchronization Algorithms and Primitives [ abstract | pdf | bib ]
Mithun Acharya and Robert Funderlic. ACM SIGCSE, Vol. 35, No. 2, pages 107-110, June 2003

[ Home | Bio | Research | Activities | Teaching ]