Amin Alipour

Memorization and Generalization in Neural Code Intelligence Models. MRI Rabin, A Hussain, MA Alipour, VJ Hellendoorn Information and Software Technology 153, 2023.

Found on Publication Page

Removing Uninteresting Bytes in Software Fuzzing. A Hussain, MA Alipour 5th International Workshop on the Next Level of Test Automation (NEXTA 2022), 2022.

Found on Publication Page

Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models. MRI Rabin, A Hussain, MA Alipour Proceedings of the 6th ACM SIGPLAN International Symposium on Machine ..., 2022.

Found on Publication Page

Code2Snapshot: Using Code Snapshots for Learning Representations of Source Code. MRI Rabin, MA Alipour IEEE International Conference on Machine Learning and Applications (ICMLA), 2022.

Found on Publication Page

FeatureExtractor: A tool for extracting key input features of code intelligence models. MRI Rabin, MA Alipour Software Impacts 14, 100432, 2022.

Found on Publication Page

ProgramTransformer: A tool for generating semantically equivalent transformed programs. MRI Rabin, MA Alipour Software Impacts 14, 100429, 2022.

Found on Publication Page

On the generalizability of neural program models with respect to semantic-preserving program transformations. M Rabin, R Islam, NDQ Bui, K Wang, Y Yu, L Jiang, MA Alipour Information and Software Technology Journal, 2021.

Found on Publication Page

Understanding neural code intelligence through program simplification. MRI Rabin, VJ Hellendoorn, MA Alipour 29th ACM Joint Meeting on European Software Engineering Conference and ..., 2021.

Found on Publication Page

Computer science students' perceptions of emergency remote teaching: An experience report. G Toti, MA Alipour SN Computer Science 2 (5), 1-9, 2021.

Found on Publication Page

Configuring test generators using bug reports: a case study of gcc compiler and csmith. MRI Rabin, MA Alipour Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1750-1758, 2021.

Found on Publication Page

FMViz: Visualizing Tests Generated by AFL at the Byte-level. A Hussain, MA Alipour arXiv preprint arXiv:2112.13207, 2021.

Found on Publication Page

Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations. M Rafiqul Islam Rabin, MA Alipour arXiv e-prints, arXiv: 2004.07313, 2020.

Found on Publication Page

Examining user reviews of conversational systems: a case study of Alexa skills. S Atefi, A Truelove, M Rheinschmitt, E Almeida, I Ahmed, A Alipour arXiv preprint arXiv:2003.00919, 2020.

Found on Publication Page

Towards demystifying dimensions of source code embeddings. MRI Rabin, A Mukherjee, O Gnawali, MA Alipour Proceedings of the 1st ACM SIGSOFT International Workshop on Representation ..., 2020.

Found on Publication Page

Smart contract development from the perspective of developers: Topics and issues discussed on social media. A Ayman, S Roy, A Alipour, A Laszka International Conference on Financial Cryptography and Data Security, 405-422, 2020.

Found on Publication Page

Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report. M Valez, M Yen, M Le, Z Su, MA Alipour Proceedings of the 51st ACM Technical Symposium on Computer Science ..., 2020.

Found on Publication Page

An Automated Testing Framework for Conversational Agents. S Atefi, MA Alipour arXiv, 2019.

Found on Publication Page

Question Relatedness on Stack Overflow: The Task, Dataset, and Corpus-inspired Models. B Xu, A Shirani, D Lo, T Solorio, MA Alipour AAAI 2019 Reasoning and Complex QA Workshop, 2019.

Found on Publication Page

Question relatedness on stack overflow: the task, dataset, and corpus-inspired models. S Amirreza, X Bowen, L David, T Solorio, A Alipour Proceedings of the AAAI Rea-soning for Complex Question Answering Workshop, 2019.

Found on Publication Page

Testing Neural Program Analyzers. MRI Rabin, K Wang, MA Alipour 34th IEEE/ACM International Conference on Automated Software Engineering ..., 2019.

Found on Publication Page

Topics of Concern: Identifying User Issues in Reviews of IoT Apps and Devices. A Truelove, FN Chowdhury, O Gnawali, MA Alipour 1st International Workshop on Software Engineering Research & Practices for ..., 2019.

Found on Publication Page

K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers. MRI Rabin, MA Alipour 34th IEEE/ACM International Conference on Automated Software Engineering ..., 2019.

Found on Publication Page

Evaluation of Type Inference with Textual Cues. A Shirani, AP Lopez-Monroy, F Gonzalez, T Solorio, MA Alipour AAAI 2018 Workshops, 2018.

Found on Publication Page

CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks. Y Wang, F Gao, A Alipour, L Wang, X Li, Z Su .

Found on Publication Page

Reduce before you localize: Delta-debugging and spectrum-based fault localization. A Christi, ML Olson, MA Alipour, A Groce 2018 IEEE International Symposium on Software Reliability Engineering ..., 2018.

Found on Publication Page

Prediction of relatedness in stack overflow: deep learning vs. SVM: a reproducibility study. B Xu, A Shirani, D Lo, MA Alipour Proceedings of the 12th ACM/IEEE International Symposium on Empirical ..., 2018.

Found on Publication Page

On the naturalness of proofs. VJ Hellendoorn, PT Devanbu, MA Alipour Proceedings of the 2018 26th ACM Joint Meeting on European Software ..., 2018.

Found on Publication Page

Leveraging Generated Tests. MA Alipour .

Found on Publication Page

Fault Injection of the Internet of Things Applications. MA Alipour Proceedings of the 1st ACM SIGSOFT International Workshop on Testing ..., 2017.

Found on Publication Page

Mutation reduction strategies considered harmful. R Gopinath, I Ahmed, MA Alipour, C Jensen, A Groce IEEE Transactions on Reliability 66 (3), 854-874, 2017.

Found on Publication Page

Generating Focused Random Tests using Directed Swarm Testing. MA Alipour, A Groce, R Gopinath, A Christi International Symposium on Software Testing and Analysis (ISSTA), 2016.

Found on Publication Page

Does Choice of Mutation Tool Matter?. R Gopinath, I Ahmed, MA Alipour, C Jensen, A Groce Software Quality Journal, 2016.

Found on Publication Page

Do mutation reduction strategies matter?. R Gopinath, A Alipour, I Ahmed, C Jensen, A Groce Corvallis, OR: Oregon State University, Dept. of Computer Science, 2016.

Found on Publication Page

Data Poisoning: Lightweight Soft Fault Injection for Python. MA Alipour, A Groce arXiv preprint arXiv:1611.01501, 2016.

Found on Publication Page

Towards Demystifying Dimensions of Source Code Embeddings. A Mukherjee, O Gnawali, MA Alipour .

Found on Publication Page

On the limits of mutation reduction strategies. R Gopinath, MA Alipour, I Ahmed, C Jensen, A Groce Proceedings of the 38th international conference on software engineering ..., 2016.

Found on Publication Page

Measuring effectiveness of mutant sets. R Gopinath, A Alipour, I Ahmed, C Jensen, A Groce 2016 IEEE Ninth International Conference on Software Testing, Verification ..., 2016.

Found on Publication Page

Mitigating (and exploiting) test reduction slippage. J Holmes, A Groce, MA Alipour Proceedings of the 7th International Workshop on Automating Test Case Design ..., 2016.

Found on Publication Page

Cause reduction: delta debugging, even without bugs. A Groce, MA Alipour, C Zhang, Y Chen, J Regehr Software Testing, Verification and Reliability 26 (1), 40-68, 2016.

Found on Publication Page

Evaluating Non-Adequate Test-Case Reduction. MA Alipour, A Shi, R Gopinath, D Marinov, A Groce. IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016.

Found on Publication Page

An empirical comparison of mutant selection approaches. R Gopinath, A Alipour, I Ahmed, C Jensen, A Groce .

Found on Publication Page

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov ACM Transactions on Software Engineering and Methodology (TOSEM), 2015.

Found on Publication Page

How Hard Does Mutation Analysis Have To Be Anyway?. R Gopinath, MA Alipour, I Ahmed, C Jensen, A Groce IEEE International Symposium on Software Reliability Engineering (ISSRE), 2015.

Found on Publication Page

Mutation Testing of Functional Programming Languages. D Le, MA Alipour, R Gopinath, A Groce Technical Report Oregon State University, 2014.

Found on Publication Page

MuCheck: An extensible tool for mutation testing of Haskell programs. Online Draft; Under Submission, 2014.[16. D Le, MA Alipour, R Gopinath, A Groce Oregon State University, 2014.

Found on Publication Page

Mutation testing of functional programming languages. Oregon State University. D Le, MA Alipour, R Gopinath, A Groce Tech. Rep, 2014.

Found on Publication Page

Cause reduction for quick testing. A Groce, MA Alipour, C Zhang, Y Chen, J Regehr 2014 IEEE Seventh International Conference on Software Testing, Verification ..., 2014.

Found on Publication Page

Coverage and Its Discontents. A Groce, MA Alipour, R Gopinath Proceedings of the 2014 ACM International Symposium on New Ideas, New ..., 2014.

Found on Publication Page

Using Test Case Reduction and Prioritization to Improve Symbolic Execution. C Zhang, A Groce, MA Alipour ACM International Symposium on Software Testing and Analysis (ISSTA), 2014.

Found on Publication Page

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. M Gligoric, A Groce, C Zhang, R Sharma, MA ALIPOUR, D Marinov Space 6 (1,350), 1,142, 2014.

Found on Publication Page

MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs. D Le, MA Alipour, R Gopinath, A Groce ACM International Symposium on Software Testing and Analysis (ISSTA), 2014.

Found on Publication Page

Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery. MA Alipour, A Groce, C Zhang, A Sanadaji, G Caushik. International Workshop on Constraints in Formal Verification (CFV), 2013.

Found on Publication Page

Help, Help, I'm Being Suppressed! The Significance of Suppressors in Software Testing. A Groce, C Zhang, MA Alipour, E Eide, Y Chen, J Regehr The 24th IEEE International Symposium on Software Reliability Engineering ..., 2013.

Found on Publication Page

Comparing Non-Adequate Test Suites using Coverage Criteria. M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov International Symposium in Software Testing and Analysis (ISSTA), 2013.

Found on Publication Page

Model Checking and Delta Debugging for Automated Fault Localization; A Tutorial. MA Alipour Technical Report, 2012.

Found on Publication Page

Automated fault localization techniques. MA Alipour a survey. Technical report, Technical report, Oregon State University, 2012.

Found on Publication Page

Learning-Based Test Programming for Programmers. A Groce, A Fern, M Erwig, J Pinto, T Bauer, A Alipour 5th International Symposium On Leveraging Applications of Formal Methods ..., 2012.

Found on Publication Page

Lightweight Automated Testing with Adaptation-Based Programming. A Groce, A Fern, J Pinto, T Bauer, MA Alipour, M Erwig, C Lopez 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE), 2012.

Found on Publication Page

Automated Fault Localization Techniques; A Survey. A Alipour Technical Report Oregon State University, 2012.

Found on Publication Page

Extended Program Invariants: Applications in Testing and Fault Localization. MA Alipour, A Groce 10th International Workshop on Dynamic Analysis (WODA), 2012.

Found on Publication Page

Bounded Model Checking and Feature Omission Diversity. A Alipour, A Groce Seventh International Workshop on Constraints in Formal Verification, 2011.

Found on Publication Page

Hardware Support for Software Debugging. MA Alipour, B Depew MICHIGAN TECHNOLOGICAL UNIV HOUGHTON, 2011.

Found on Publication Page

Hardware Support for Software Debugging; An Overview. AM Alipour, B Depew 23rdIEEE Software Technology Conference (STC 2011), 2011.

Found on Publication Page

Identifying Satisfying Subsets: A Method for Algorithmic Correction of Inter-Thread Synchronization Mechanisms. A Ebnenasir, MA Alipour Technical Report, 2010.

Found on Publication Page

Towards Algorithmic Correction of Concurrency Failures. MA Alipour, A Ebnenasir .

Found on Publication Page

A numerical method for computing the Wiener index of one-heptagonal carbon nanocone. MA Alipour, AR Ashrafi Journal of Computational and Theoretical Nanoscience 6 (5), 1204-1207, 2009.

Found on Publication Page

Computer Calculation of the Wiener Index of One-Pentaginal Carbon Nanocone. MA Alipour, AR Ashrafi Digest Journal of Nanomaterials and Biostructures 4 (1), 1-6, 2009.

Found on Publication Page

Finding Highly Probable Differential Characteristics of Substitution-Permutation Networks Using Genetic Algorithms. M Abadi, B SADEGHIAN, A Ghaemi, MA Alipour Iranian Journal of Mathematical Sciences and Informatics 2 (2), 45-56, 2007.

Found on Publication Page

FINDING HIGHLY PROBABLE DIFFERENTIAL CHARACTERISTICS OF SUBSTITUTION-PERMUTATION NETWORKS USING GENETIC ALGORITHMS. M AABADI, B SADEGHIAN, A GHAEMI, MA ALIPOUR IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI) 2 (2), 45-56, 2007.

Found on Publication Page

URBAN SIGNAL CONTROL USING INTELLIGENT AGENTS. MA ALIPOUR, S JALILI Proceedings of the 7th International FLINS Conference, 811-816, 2006.

Found on Publication Page

Reactive Agent for Urban Traffic Control. MA Alipour Proceedings of the Eighteenth International Florida Artificial Intelligence ..., 2002.

Found on Publication Page

Invited Talks: MV Diudea. MV Diudea, A Graovac, I Laszlo, T Pisanski, I Gutman, S Klavzar, ... .

Found on Publication Page

The Wiener index of One-Pentagonal Carbon Nanocone. MA Alipour, AR Ashrafi Invited Talks: MV Diudea, 36, 0.

Found on Publication Page

Architectural Support for Software Debugging; An overview. MA Alipour .

Found on Publication Page

A Systematic Approach to Runtime Verification. SM Babamor, MA Alipour .

Found on Publication Page

Architecture supported debugging: A Survey. MA Alipour .

Found on Publication Page

Software Testing with Adaptation-Based Programing. A Groce, A Fern, J Pinto, T Bauer, A Alipour, C Lopez .

Found on Publication Page

Message from the Workshop Chairs Mutation 2021. J Zhang, A Alipour .

Found on Publication Page

Message from the Workshop Chairs Mutation 2022. D Shin, A Alipour .

Found on Publication Page

IWSF 2019 Workshop Committees. W Hamou-Lhadj, A Larsson, R Khoury, M Adda, A Alipour, N Ezzati, ... .

Found on Publication Page

Insights from User Reviews of Internet of Things Apps and Devices. A Truelove, FN Chowdhury, O Gnawali .

Found on Publication Page

IWSF & SHIFT 2020 Workshop Committees. A Larsson, S Eldh, W Hamou-Lhadj, R Khoury, E Cioroaica, S Chren, ... .

Found on Publication Page

Directed swarm testing: Producing random regression tests. A Alipour, A Groce, R Gopinath, A Christi Proceedings of the International Symposium on Software testing and analysis ..., 0.

Found on Publication Page

Program Committee-Main Track. I Ahmed, A Alipour, C Artho, A Bacchelli, J Bell, TFB SnT, M Bo hme, H Cai, ... .

Found on Publication Page