Publications

Conference papers:

  1. Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, and Alex Groce. “Evaluating Non-Adequate Test-Case Reduction”. ASE 2016.
  2. Mohammad Amin Alipour, Alex Groce, Rahul Gopinath and Arpit Christi. “Generating Focused Random Tests Using Directed Swarm Testing”. ISSTA 2016. PDF
  3. Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce. “Do mutation reduction strategies matter?”. ICSE 2016. PDF
  4. Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce. “How Hard Does Mutation Analysis Have To Be Anyway?”. ISSRE 2015. PDF
  5. Alex Groce, Mohammad Amin Alipour,a nd Rahul Gopinath. “Test Coverage and Its Discontents”. OOPSLA Onward! Essays 2014. PDF
  6. Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour. “Using Test Case Reduction and Prioritization to Improve Symbolic Execution“. ISSTA 2014.
  7. Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce. “MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs“. ISSTA 2014.
  8. Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, and John Regehr. “Cause Reduction for Quick Testing“.  ICST 2014. (Best Paper Award)
  9. Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, and John Regehr. “Help, Help, I’m Being Suppressed! The Significance of Suppressors in Software Testing“. ISSRE 2013.
  10. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov. “Comparing Non-Adequate Test Suites using Coverage Criteria”. ISSTA 2013.
  11. Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez.”Lightweight Automated Testing with Adaptation-Based Programming“.ISSRE 2012. (Slides)
  12. Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer,and Mohammad Amin Alipour.”Learning-Based Test Programming for Programmers“. ISoLA 2012.
  13. Mohammad Amin Alipour, and Saeed Jalili. “Urban signal control using intelligent agents”. FLINS 2006.
  14. Mohammad Amin Alipour. “Reactive agent for urban traffic control”. FLAIRS 2005.
Journal Articles:
  1. Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce. “Does Choice of Mutation Tool Matter?”. Software Quality Journal (2016). PDF
  2. Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr, “Cause reduction: delta debugging, even without bugs” in Software Testing, Verification and Reliability (2015).
  3. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov. Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Transactions on Software Engineering and Methodology (TOSEM). PDF
  4. Mohammad Amin Alipour, and Ali Reza Ashrafi. “A numerical method for computing the Wiener index of one-heptagonal carbon nanocone”. Journal of Computational and Theoretical Nanoscience 6, 5 (May 2009).
  5. Mohammad Amin Alipour, and Ali Reza Ashrafi. “Computer calculation of the wiener index of one-pentagonal carbon nanocone”. Digest Journal of Nanomaterials and Biostructures 4, 1 (March 2009).

 

Workshop papers:

  1. Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce. “Measuring Effectiveness of Mutant Sets”. MUTATION 2016. PDF
  2. Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, and Gokul Caushik. “Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery“. In International Workshop on Constraints in Formal Verification (CFV), San Jose, California, November 2013.
  3. Mohammad Amin Alipour, and Alex Groce. “Extended Invariants: Applications in Software Testing and Fault Localization”. 10th International Workshop on Dynamic Analysis, Minneapolis, MN, USA (July 2012). (Slides)
  4. Mohammad Amin Alipour , and Alex Groce. “Bounded Model Checking and Feature Omission Diversity”. Seventh International Workshop on Constraints in Formal Verification, San Jose, California, USA. (November 2011). (Slides)
  5. Saeed Jalili, and Mohammad Amin Alipour. “Embedded operating systems for autos: A case study”. In International Symposium on Challenges in Iranian Automotive Industries, Tehran Iran (June 2003).

Other:

  1. Amin Alipour, Alex Groce, Rahul Gopinath and Arpit Christi, “Directed Swarm Testing: Producing Random Regression Tests”. Technical Report, Oregon State University. PDF
  2. Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce, “An Empirical Comparison of Mutant Selection Approaches.” Technical Report, Oregon State University. PDF
  3. Duc Le, Mohammad Amin Alipour, Rahul Gopinath, and Alex Groce. “Mutation Testing of Functional Programming Languages“. Technical Report, Oregon State University.
  4. Mohammad Amin Alipour, “Model Checking and Delta Debugging for Automated Fault Localization; A Tutorial“. Technical Report, School of Electrical Engineering and Computer Science. Oregon State University, Nov 2012. (Slides)
  5. Mohammad Amin Alipour. “Fault Localization Techniques; A Survey”Technical Report, School of Electrical Engineering and Computer Science. Oregon State University, Nov 2012 (Draft).
  6. Mohammad Amin Alipour, and Benjamin DePew. “Hardware support for software debugging: an overview”. In 23rd Annual Systems and Software Technology Conference, Salt Lake City, Utah, USA (May 2011).
  7. Ali Ebnenasir and Mohammad Amin Alipour . “Identifying satisfying subsets: A method for algorithmic correction of inter-thread synchronization mechanisms”. Technical Report CS-TR-10-01, Department of Computer Science, Michigan Technological University, (March 2010).
  8. Mohammad Amin Alipour. “Urban signal control using intelligent agents”. M.Sc. Thesis of Computer Engineering, Department of Computer Engineering. Tarbiat Modares University.

In Progress:

Data Poisoning: Lightweight Soft Fault Injection for Python PDF

 

Print Friendly