K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers Md Rafiqul Islam Rabin and Mohammad Amin Alipour. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Late Breaking Research-Track. San Diego, CA, November 2019.
Testing Neural Program Analyzers Md Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Late Breaking Research-Track. San Diego, CA, November 2019.
Smart Contract Development in Practice: Trends, Issues, and Discussions on Stack Overflow Afiya Ayman, Amna Aziz, Mohammad Amin Alipour, Aron Laszka Work in progress
Topics of Concern: Identifying User Issues in Reviews of IoT Apps and Devices Andrew Truelove, Farah Naz Chowdhury, Omprakash Gnawali, and Mohammad Amin Alipour. 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (Colocated with the 41st ACM/IEEE International Conference on Software Engineering ICSE 2019). Montréal, QC, Canada, 27 May 2019.
Question Relatedness on Stack Overflow: The Task, Dataset, and Corpus-inspired Model. Amirreza Shirani, Bowen Xu, David Lo, Thamar Solorio and Mohammad Amin Alipour. AAAI 2019 Reasoning and Complex QA Workshop. Honolulu, HI, January 28, 2019.
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. Arpit Christi, Matthew Olson, Mohammad Amin Alipour, and Alex Groce. IEEE International Workshop on Debugging and Repair(IDEAR). Memphis, TN; Oct 15 2018.
On the Naturalness of Proofs. Vincent Hellendoorn, Premkumar Devanbu, and Mohammad Amin Alipour. The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (NIER Track). Lake Buena Vista, Florida, November 4-9, 2018.
Prediction of Relatedness in Stack Overflow: Deep Learning vs. SVM.. Bowen Xu, Amirreza Shirani, David Lo and Mohammad Amin Alipour. 12th International Symposium on Empirical Software Engineering and Measurement. Oulu, Finland, October 11-12, 2018.
Evaluation of Type Inference with Textual Cues. Amirreza Shirani, A. Pastor Lopez-Monroy, Fabio Gonzalez, Thamar Solorio and Mohammad Amin Alipour. Workshop on NLP for Software Engineering, New Orleans, LA, Feb. 2, 2018.
Fault Injection in the Internet of Things Applications. Mohammad Amin Alipour. 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, Santa Barbara, CA, July 2017.
Mutation Reduction Strategies Considered Harmful. Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, and Alex Groce. IEEE Transactions on Reliability 2017.
Mitigating (and Exploiting) Test Reduction Slippage. Josie Holmes, Alex Groce, and Mohammad Amin Alipour. 7th Workshop on Automated Software Testing (A-TEST), Seattle, Washington, November 2016.
Evaluating Non-adequate Test-Case Reduction. Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, and Alex Groce. IEEE/ACM International Conference on Automated Software Engineering, Singapore, Singapore, September 2016.
Generating Random Tests Using Directed Swarm Testing. Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, and Arpit Christi. ACM International Symposium on Software Testing and Analysis, Saarbrucken, Germany, July 2016.
Does Choice of Mutation Tool Matter? Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, and Alex Groce. Software Quality Journal, 1-50, May 2016.
On the Limits of Mutation Reduction Strategies. Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, and Alex Groce. ACM/IEEE International Conference on Software Engineering, Austin, Texas, May 2016.
Measuring Effectiveness of Mutant Sets. Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, and Alex Groce. International Workshop on Mutation Analysis, Chicago, Illinois, April 2016.
Cause Reduction: Delta Debugging, Even Without Bugs. Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, and John Regehr. Journal of Software Testing, Verification and Reliability, 26(1):40-68, January 2016.
How Hard Does Mutation Analysis Have to Be, Anyway? Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, and Alex Groce. IEEE International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015.
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov. ACM Transactions on Software Engineering and Methodology, 24(4):4-37, August 2015.
Coverage and Its Discontents. Alex Groce, Mohammad Amin Alipour, and Rahul Gopinath. ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! Essays, part of SPLASH (ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity), pages 255–268, Portland, Oregon, October 2014.
Using Test Case Reduction and Prioritization to Improve Symbolic Execution. Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour. ACM International Symposium on Software Testing and Analysis, (ISSTA’14), pages 60–70, San Jose, California, July 2014.
MuCheck: an Extensible Tool for Mutation Testing of Haskell Programs. Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce. ACM International Symposium on Software Testing and Analysis, (ISSTA’14) pages 429–432, San Jose, California, July 2014.
Cause Reduction for Quick Testing. Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, and John Regehr. IEEE International Conference on Software Testing, Verification and Validation, pages 243–252, Cleveland, Ohio, March-April 2014. Best Paper Award.
An Empirical Comparison of Mutant Selection Approaches. Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, and Alex Groce. Technical Report, School of Engineering and Computer Science, Oregon State University, April 2014.
Help, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing. Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, and John Regehr. IEEE International Symposium on Software Reliability Engineering, pages 390–399, Pasadena, California, November 2013.
Comparing Non-adequate Test Suites using Coverage Criteria. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov. ACM International Symposium on Software Testing and Analysis, pages 302–313, Lugano, Switzerland, July 2013. Invited for journal submission to ACM TOSEM.
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery. Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, and Gokul Caushik. International Workshop on Constraints in Formal Verification, San Jose, California, November 2013.
Lightweight Automated Testing with Adaptation-Based Programming. Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, and Camden Lopez. IEEE International Symposium on Software Reliability Engineering, pages 161–170, Dallas, Texas, November 2012.
Learning-Based Test Programming for Programmers. Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, and Amin Alipour. 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation, pages 572-586, Crete, Greece, October 2012.
Extended Program Invariants: Applications in Testing and Fault Localization. Mohammad Amin Alipour and Alex Groce. International Workshop on Dynamic Analysis, pages 7–11, Minneapolis, Minnesota, July 2012.
Bounded Model Checking and Feature Omission Diversity. Mohammad Amin Alipour and Alex Groce. International Workshop on Constraints in Formal Verification, San Jose, California, November 2011.
Identifying Satisfying Subsets: A Method for Algorithmic Correction of Inter-thread Synchronization Mechanisms. Ali Ebnenasir, and Mohammad Amin Alipour. Technical Report CS-TR-10-01, Department of Computer Science, Michigan Technological University, March 2010.
Computer Calculation of the Wiener Index of One-Pentagonal Carbon Nanocone. Mohammad Amin Alipour, and Ali Reza Ashrafi. Digest Journal of Nanomaterials and Biostructures, vol 4, no 1, March 2009.
Urban Signal Control using Intelligent Agents. Mohammad Amin Alipour, and Saeed Jalili. International FLINS Conference on Applied Artificial Intelligence, Geneva, Italy, August 2006.
Reactive Agent for Urban Traffic Control. Mohammad Amin Alipour. International Florida Artificial Intelligence Research Society Conference, Clearwater Beach,Florida, May 2005.