Mohammad Amin Alipour

According to our database, Mohammad Amin Alipour authored at least 72 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Unlearning Trojans in Large Language Models: A Comparison Between Natural Language and Source Code.

Mahdi Kazemi, Aftab Hussain, Md. Rafiqul Islam Rabin, Mohammad Amin Alipour, Sen Lin

CoRR, 2024

Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing.

Rabimba Karanjai, Aftab Hussain, Md. Rafiqul Islam Rabin, Lei Xu, Weidong Shi, Mohammad Amin Alipour

CoRR, 2024

Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots.

Sruti Srinivasa Ragavan, Mohammad Amin Alipour

CoRR, 2024

Trojans in Large Language Models of Code: A Critical Review through a Trigger-Based Taxonomy.

Aftab Hussain, Md. Rafiqul Islam Rabin, Toufique Ahmed, Bowen Xu, Premkumar T. Devanbu, Mohammad Amin Alipour

CoRR, 2024

On Trojan Signatures in Large Language Models of Code.

Aftab Hussain, Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

CoRR, 2024

Measuring Impacts of Poisoning on Model Parameters and Neuron Activations: A Case Study of Poisoning CodeBERT.

Aftab Hussain, Md. Rafiqul Islam Rabin, Navid Ayoobi, Mohammad Amin Alipour

CoRR, 2024

Calibration and Correctness of Language Models for Code.

Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed

CoRR, 2024

Trust in Generative AI among Students: An exploratory study.

Matin Amoozadeh, David Daniels, Daye Nam, Aayush Kumar, Stella Chen, Michael Hilton, Sruti Srinivasa Ragavan, Mohammad Amin Alipour

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Student-AI Interaction: A Case Study of CS1 students.

Matin Amoozadeh, Daye Nam, Daniel Prol, Ali Alfageeh, James Prather, Michael Hilton, Sruti Srinivasa Ragavan, Amin Alipour

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

Measuring Impacts of Poisoning on Model Parameters and Embeddings for Large Language Models of Code.

Aftab Hussain, Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023

Multi-objective test selection of smart contract and blockchain applications.

Bader Alkhazi, Amin Alipour

PeerJ Comput. Sci., 2023

Memorization and generalization in neural code intelligence models.

Md. Rafiqul Islam Rabin, Aftab Hussain, Mohammad Amin Alipour, Vincent J. Hellendoorn

Inf. Softw. Technol., 2023

Occlusion-based Detection of Trojan-triggering Inputs in Large Language Models of Code.

Aftab Hussain, Md. Rafiqul Islam Rabin, Toufique Ahmed, Mohammad Amin Alipour, Bowen Xu

CoRR, 2023

TrojanedCM: A Repository for Poisoned Neural Models of Source Code.

Aftab Hussain, Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

CoRR, 2023

Trust in Generative AI among students: An Exploratory Study.

Matin Amoozadeh, David Daniels, Daye Nam, Stella Chen, Michael Hilton, Sruti Srinivasa Ragavan, Mohammad Amin Alipour

CoRR, 2023

A Survey of Trojans in Neural Models of Source Code: Taxonomy and Techniques.

Aftab Hussain, Md. Rafiqul Islam Rabin, Toufique Ahmed, Bowen Xu, Prem Devanbu, Mohammad Amin Alipour

CoRR, 2023

Study of Distractors in Neural Models of Code.

Md. Rafiqul Islam Rabin, Aftab Hussain, Sahil Suneja, Mohammad Amin Alipour

Proceedings of the IEEE/ACM International Workshop on Interpretability and Robustness in Neural Software Engineering, 2023

A Study of Variable-Role-based Feature Enrichment in Neural Models of Code.

Aftab Hussain, Md. Rafiqul Islam Rabin, Bowen Xu, David Lo, Mohammad Amin Alipour

Proceedings of the IEEE/ACM International Workshop on Interpretability and Robustness in Neural Software Engineering, 2023

Towards Characterizing Trust in Generative Artificial Intelligence among Students.

Matin Amoozadeh, David Daniels, Stella Chen, Daye Nam, Aayush Kumar, Michael Hilton, Mohammad Amin Alipour, Sruti Srinivasa Ragavan

Proceedings of the 2023 ACM Conference on International Computing Education Research, 2023

2022

FeatureExtractor: A tool for extracting key input features of code intelligence models.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

Softw. Impacts, December, 2022

ProgramTransformer: A tool for generating semantically equivalent transformed programs.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

Softw. Impacts, December, 2022

Syntax-guided program reduction for understanding neural code intelligence models.

Md. Rafiqul Islam Rabin, Aftab Hussain, Mohammad Amin Alipour

Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022

Removing Uninteresting Bytes in Software Fuzzing.

Aftab Hussain, Mohammad Amin Alipour

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Code2Snapshot: Using Code Snapshots for Learning Representations of Source Code.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

2021

Computer Science Students' Perceptions of Emergency Remote Teaching: An Experience Report.

Giulia Toti, Mohammad Amin Alipour

SN Comput. Sci., 2021

On the generalizability of Neural Program Models with respect to semantic-preserving program transformations.

Md. Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang, Yijun Yu, Lingxiao Jiang, Mohammad Amin Alipour

Inf. Softw. Technol., 2021

DIAR: Removing Uninteresting Bytes from Seeds in Software Fuzzing.

Aftab Hussain, Mohammad Amin Alipour

CoRR, 2021

FMViz: Visualizing Tests Generated by AFL at the Byte-level.

Aftab Hussain, Mohammad Amin Alipour

CoRR, 2021

Encoding Program as Image: Evaluating Visual Representation of Source Code.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

CoRR, 2021

Understanding neural code intelligence through program simplification.

Md. Rafiqul Islam Rabin, Vincent J. Hellendoorn, Mohammad Amin Alipour

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Configuring test generators using bug reports: a case study of GCC compiler and Csmith.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Towards Demystifying Dimensions of Source Code Embeddings.

Md. Rafiqul Islam Rabin, Arjun Mukherjee, Omprakash Gnawali, Mohammad Amin Alipour

CoRR, 2020

On the Generalizability of Neural Program Analyzers with respect to Semantic-Preserving Program Transformations.

Md. Rafiqul Islam Rabin, Nghi D. Q. Bui, Yijun Yu, Lingxiao Jiang, Mohammad Amin Alipour

CoRR, 2020

Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

CoRR, 2020

Examining user reviews of conversational systems: a case study of Alexa skills.

Soodeh Atefi, Andrew Truelove, Matheus Rheinschmitt, Eduardo Santana de Almeida, Iftekhar Ahmed, Amin Alipour

CoRR, 2020

Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report.

Martin Velez, Michael Yen, Mathew Le, Zhendong Su, Mohammad Amin Alipour

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media.

Afiya Ayman, Shanto Roy, Amin Alipour, Aron Laszka

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Testing Neural Programs.

Md. Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour

CoRR, 2019

K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers.

Md. Rafiqul Islam Rabin, Mohammad Amin Alipour

CoRR, 2019

Smart Contract Development in Practice: Trends, Issues, and Discussions on Stack Overflow.

Afiya Ayman, Amna Aziz, Amin Alipour, Aron Laszka

CoRR, 2019

Question Relatedness on Stack Overflow: The Task, Dataset, and Corpus-inspired Models.

Amirreza Shirani, Bowen Xu, David Lo, Thamar Solorio, Amin Alipour

CoRR, 2019

Users Issues in using the Internet of Things Systems.

Andrew Truelove, Farah Naz Chowdhury, Omprakash Gnawali, Mohammad Amin Alipour

CoRR, 2019

An Automated Testing Framework for Conversational Agents.

Soodeh Atefi, Mohammad Amin Alipour

CoRR, 2019

Topics of concern: identifying user issues in reviews of IoT apps and devices.

Andrew Truelove, Farah Naz Chowdhury, Omprakash Gnawali, Mohammad Amin Alipour

Proceedings of the 1st International Workshop on Software Engineering Research & Practices for the Internet of Things, 2019

2018

On the naturalness of proofs.

Vincent J. Hellendoorn, Premkumar T. Devanbu, Mohammad Amin Alipour

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization.

Arpit Christi, Matthew Lyle Olson, Mohammad Amin Alipour, Alex Groce

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Prediction of relatedness in stack overflow: deep learning vs. SVM: a reproducibility study.

Bowen Xu, Amirreza Shirani, David Lo, Mohammad Amin Alipour

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

Evaluation of Type Inference with Textual Cues.

Amirreza Shirani, Adrián Pastor López-Monroy, Fabio A. González, Thamar Solorio, Mohammad Amin Alipour

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Mutation Reduction Strategies Considered Harmful.

Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce

IEEE Trans. Reliab., 2017

Does choice of mutation tool matter?

Rahul Gopinath, Iftekhar Ahmed, Mohammad Amin Alipour, Carlos Jensen, Alex Groce

Softw. Qual. J., 2017

On secure degrees of freedom for three-user MISO broadcast channel with three messages.

Mohammad Amin Alipour, Sadaf Salehkalaibar

Proceedings of the Iran Workshop on Communication and Information Theory, 2017

2016

Cause reduction: delta debugging, even without bugs.

Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr

Softw. Test. Verification Reliab., 2016

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, Gokul Caushik

CoRR, 2016

Data Poisoning: Lightweight Soft Fault Injection for Python.

Mohammad Amin Alipour, Alex Groce

CoRR, 2016

Bounded Model Checking and Feature Omission Diversity.

Mohammad Amin Alipour, Alex Groce

CoRR, 2016

Mitigating (and exploiting) test reduction slippage.

Josie Holmes, Alex Groce, Mohammad Amin Alipour

Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Evaluating non-adequate test-case reduction.

Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Generating focused random tests using directed swarm testing.

Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Measuring Effectiveness of Mutant Sets.

Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

On the limits of mutation reduction strategies.

Rahul Gopinath, Mohammad Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites.

Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov

ACM Trans. Softw. Eng. Methodol., 2015

How hard does mutation analysis have to be, anyway?

Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, Alex Groce

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

Coverage and Its Discontents.

Alex Groce, Mohammad Amin Alipour, Rahul Gopinath

Proceedings of the Onward! 2014, 2014

Using test case reduction and prioritization to improve symbolic execution.

Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour

Proceedings of the International Symposium on Software Testing and Analysis, 2014

MuCheck: an extensible tool for mutation testing of haskell programs.

Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Cause Reduction for Quick Testing.

Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Comparing non-adequate test suites using coverage criteria.

Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Help, help, i'm being suppressed! The significance of suppressors in software testing.

Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

Extended program invariants: applications in testing and fault localization.

Mohammad Amin Alipour, Alex Groce

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

Lightweight Automated Testing with Adaptation-Based Programming.

Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers.

Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2005

Reactive Agent for Urban Traffic Control.

Mohammad Amin Alipour

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005