Mithun Acharya

发表

David J. Thuente, Benjamin Newlin, Mithun Acharya, 2007, MILCOM 2007 - IEEE Military Communications Conference.

Practical change impact analysis based on static program slicing for industrial software systems

Mithun Acharya, Brian Robinson, Mithun P. Acharya, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Mining Health Models for Performance Monitoring of Services

Mithun Acharya, Vamshidhar Kommineni, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Effective Generation of Interface Robustness Properties for Static Analysis

Tao Xie, Jun Xu, Mithun Acharya, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives

Mithun Acharya, Robert Funderlic, Mithun P. Acharya, 2003, SGCS.

Impact Analysis of Configuration Changes for Test Case Selection

Mithun Acharya, Xiao Qu, Brian Robinson, 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

Configuration selection using code change impact analysis for regression testing

Mithun Acharya, Xiao Qu, Brian Robinson, 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

Improving software reliability and productivity via mining program source code

Tao Xie, Suresh Thummalapenta, Mithun Acharya, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

Intelligent jamming in wireless networks with applications to 802.11b and other networks

David J. Thuente, Mithun Acharya, Mithun P. Acharya, 2006 .

Humanizing Software Artifacts: Software Engineering with Intelligent and Social Software Artifacts as our Friends pdf

Mithun Acharya, 2014, ArXiv.

Oracle-based Regression Test Selection

Gregg Rothermel, Tingting Yu, Mithun Acharya, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks: Encryption, Key Distribution, and Routing Adaptation

Dirk Westhoff, Mithun Acharya, Joao Girão, 2006, IEEE Transactions on Mobile Computing.

Static detection of API error-handling bugs via mining source code

Tao Xie, Mithun Acharya, 2007 .

Mining API Error-Handling Specifications from Source Code

Tao Xie, Mithun Acharya, 2009, FASE.

Practical change impact analysis based on static program slicing for industrial software systems

Mithun Acharya, Brian Robinson, 2012, SIGSOFT FSE.

Mining API patterns as partial orders from source code: from usage scenarios to specifications

Jian Pei, Tao Xie, Jun Xu, 2007, ESEC-FSE '07.

Mining Interface Specifications for Generating Checkable Robustness Properties

Tao Xie, Jun Xu, Mithun Acharya, 2006, 2006 17th International Symposium on Software Reliability Engineering.

Static API specification mining: Exploiting source code model checking

Tao Xie, Mithun Acharya, 2011 .

Automatic generation and inference of interface properties from program source code

Mithun Acharya, 2006, OOPSLA '06.

Secure comparison of encrypted data in wireless sensor networks

Dirk Westhoff, Mithun Acharya, Joao Girão, 2005, Third International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt'05).

Generating and Inferring Interface Properties for Static Analysis

Tao Xie, Jun Xu, Mithun Acharya, 2006 .

First International Workshop on Multi Product Line Engineering (MultiPLE 2013)

Kyo Chul Kang, Bedir Tekinerdogan, Mithun Acharya, 2013, SPLC '13.

Mining api specifications from source code for improving software reliability

Tao Xie, Mithun Acharya, 2009 .

Intelligent Jamming Attacks , Counterattacks and ( Counter ) 2 Attacks in 802 . 11 b Wireless Networks

Mithun Acharya, Mithun P. Acharya, D. Thuente, 2005 .

Intelligent Jamming in 802 . 11 b Wireless Networks

Mithun Acharya, Tanu Sharma, David Thuente, 2004 .