Reactive Agent for Urban Traffic Control. - Mohammad Amin Alipour (FLAIRS, 2005)

Learning-Based Test Programming for Programmers. - Alex Groce; Alan Fern; Martin Erwig; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour (ISoLA (1), 2012)

Lightweight Automated Testing with Adaptation-Based Programming. - Alex Groce; Alan Fern; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour; Martin Erwig; Camden Lopez (ISSRE, 2012)

Extended program invariants: applications in testing and fault localization. - Mohammad Amin Alipour; Alex Groce (WODA, 2012)

Help, help, i'm being suppressed! The significance of suppressors in software testing. - Alex Groce; Chaoqiang Zhang; Mohammad Amin Alipour; Eric Eide; Yang Chen 024; John Regehr (ISSRE, 2013)

Comparing non-adequate test suites using coverage criteria. - Milos Gligoric 001; Alex Groce; Chaoqiang Zhang; Rohan Sharma; Mohammad Amin Alipour; Darko Marinov (ISSTA, 2013)

Cause Reduction for Quick Testing. - Alex Groce; Mohammad Amin Alipour; Chaoqiang Zhang; Yang Chen 024; John Regehr (ICST, 2014)

MuCheck: an extensible tool for mutation testing of haskell programs. - Duc Le; Mohammad Amin Alipour; Rahul Gopinath; Alex Groce (ISSTA, 2014)

Using test case reduction and prioritization to improve symbolic execution. - Chaoqiang Zhang; Alex Groce; Mohammad Amin Alipour (ISSTA, 2014)

Coverage and Its Discontents. - Alex Groce; Mohammad Amin Alipour; Rahul Gopinath (Onward!, 2014)

How hard does mutation analysis have to be, anyway? - Rahul Gopinath; Amin Alipour; Iftekhar Ahmed 001; Carlos Jensen; Alex Groce (ISSRE, 2015)

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. - Milos Gligoric 001; Alex Groce; Chaoqiang Zhang; Rohan Sharma; Mohammad Amin Alipour; Darko Marinov (ACM Trans. Softw. Eng. Methodol., 2015)

On the limits of mutation reduction strategies. - Rahul Gopinath; Mohammad Amin Alipour; Iftekhar Ahmed 001; Carlos Jensen; Alex Groce (ICSE, 2016)

Measuring Effectiveness of Mutant Sets. - Rahul Gopinath; Amin Alipour; Iftekhar Ahmed 001; Carlos Jensen; Alex Groce (ICST Workshops, 2016)

Generating focused random tests using directed swarm testing. - Mohammad Amin Alipour; Alex Groce; Rahul Gopinath; Arpit Christi (ISSTA, 2016)

Evaluating non-adequate test-case reduction. - Mohammad Amin Alipour; August Shi; Rahul Gopinath; Darko Marinov; Alex Groce (ASE, 2016)

Mitigating (and exploiting) test reduction slippage. - Josie Holmes; Alex Groce; Mohammad Amin Alipour (A-TEST@SIGSOFT FSE, 2016)

Bounded Model Checking and Feature Omission Diversity. - Mohammad Amin Alipour; Alex Groce (CoRR, 2016)

Data Poisoning: Lightweight Soft Fault Injection for Python. - Mohammad Amin Alipour; Alex Groce (CoRR, 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)

Cause reduction: delta debugging, even without bugs. - Alex Groce; Mohammad Amin Alipour; Chaoqiang Zhang; Yang Chen 024; John Regehr (Softw. Test. Verification Reliab., 2016)

On secure degrees of freedom for three-user MISO broadcast channel with three messages. - Mohammad Amin Alipour; Sadaf Salehkalaibar (IWCIT, 2017)

Does choice of mutation tool matter? - Rahul Gopinath; Iftekhar Ahmed 001; Mohammad Amin Alipour; Carlos Jensen; Alex Groce (Softw. Qual. J., 2017)

Mutation Reduction Strategies Considered Harmful. - Rahul Gopinath; Iftekhar Ahmed 001; Mohammad Amin Alipour; Carlos Jensen; Alex Groce (IEEE Trans. Reliab., 2017)

Evaluation of Type Inference with Textual Cues. - Amirreza Shirani; Adrián Pastor López-Monroy; Fabio A. González 001; Thamar Solorio; Mohammad Amin Alipour (AAAI Workshops, 2018)

Prediction of relatedness in stack overflow: deep learning vs. SVM: a reproducibility study. - Bowen Xu; Amirreza Shirani; David Lo 001; Mohammad Amin Alipour (ESEM, 2018)

Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization. - Arpit Christi; Matthew Lyle Olson; Mohammad Amin Alipour; Alex Groce (ISSRE Workshops, 2018)

On the naturalness of proofs. - Vincent J. Hellendoorn; Premkumar T. Devanbu; Mohammad Amin Alipour (ESEC/SIGSOFT FSE, 2018)

Topics of concern: identifying user issues in reviews of IoT apps and devices. - Andrew Truelove; Farah Naz Chowdhury; Omprakash Gnawali; Mohammad Amin Alipour (SERP4IoT@ICSE, 2019)

An Automated Testing Framework for Conversational Agents. - Soodeh Atefi; Mohammad 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)

Question Relatedness on Stack Overflow: The Task, Dataset, and Corpus-inspired Models. - Amirreza Shirani; Bowen Xu; David Lo 001; Thamar Solorio; 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)

K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers. - Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (CoRR, 2019)

Testing Neural Programs. - Md. Rafiqul Islam Rabin; Ke Wang 022; Mohammad Amin Alipour (CoRR, 2019)

Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media. - Afiya Ayman; Shanto Roy; Amin Alipour; Aron Laszka (Financial Cryptography Workshops, 2020)

Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report. - Martin Velez; Michael Yen; Mathew Le; Zhendong Su 001; Mohammad Amin Alipour (SIGCSE, 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 001; Amin Alipour (CoRR, 2020)

Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations. - Md. Rafiqul Islam Rabin; 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)

Towards Demystifying Dimensions of Source Code Embeddings. - Md. Rafiqul Islam Rabin; Arjun Mukherjee; Omprakash Gnawali; Mohammad Amin Alipour (CoRR, 2020)

Configuring test generators using bug reports: a case study of GCC compiler and Csmith. - Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (SAC, 2021)

Understanding neural code intelligence through program simplification. - Md. Rafiqul Islam Rabin; Vincent J. Hellendoorn; Mohammad Amin Alipour (ESEC/SIGSOFT FSE, 2021)

Encoding Program as Image: Evaluating Visual Representation of Source Code. - Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (CoRR, 2021)

FMViz: Visualizing Tests Generated by AFL at the Byte-level. - Aftab Hussain 001; Mohammad Amin Alipour (CoRR, 2021)

DIAR: Removing Uninteresting Bytes from Seeds in Software Fuzzing. - Aftab Hussain 001; Mohammad Amin Alipour (CoRR, 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 022; Yijun Yu; Lingxiao Jiang; Mohammad Amin Alipour (Inf. Softw. Technol., 2021)

Computer Science Students' Perceptions of Emergency Remote Teaching: An Experience Report. - Giulia Toti; Mohammad Amin Alipour (SN Comput. Sci., 2021)

Code2Snapshot: Using Code Snapshots for Learning Representations of Source Code. - Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (ICMLA, 2022)

Removing Uninteresting Bytes in Software Fuzzing. - Aftab Hussain 001; Mohammad Amin Alipour (ICST Workshops, 2022)

Syntax-guided program reduction for understanding neural code intelligence models. - Md. Rafiqul Islam Rabin; Aftab Hussain 001; Mohammad Amin Alipour (MAPS@PLDI, 2022)

ProgramTransformer: A tool for generating semantically equivalent transformed programs. - Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (Softw. Impacts, 2022)

FeatureExtractor: A tool for extracting key input features of code intelligence models. - Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (Softw. Impacts, 2022)

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 (ICER (2), 2023)

A Study of Variable-Role-based Feature Enrichment in Neural Models of Code. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Bowen Xu; David Lo 001; Mohammad Amin Alipour (InteNSE@ICSE, 2023)

Study of Distractors in Neural Models of Code. - Md. Rafiqul Islam Rabin; Aftab Hussain 001; Sahil Suneja; Mohammad Amin Alipour (InteNSE@ICSE, 2023)

A Survey of Trojans in Neural Models of Source Code: Taxonomy and Techniques. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Toufique Ahmed; Bowen Xu; Prem Devanbu; 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)

TrojanedCM: A Repository for Poisoned Neural Models of Source Code. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (CoRR, 2023)

Occlusion-based Detection of Trojan-triggering Inputs in Large Language Models of Code. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Toufique Ahmed; Mohammad Amin Alipour; Bowen Xu (CoRR, 2023)

Memorization and generalization in neural code intelligence models. - Md. Rafiqul Islam Rabin; Aftab Hussain 001; Mohammad Amin Alipour; Vincent J. Hellendoorn (Inf. Softw. Technol., 2023)

Multi-objective test selection of smart contract and blockchain applications. - Bader Alkhazi; Amin Alipour (PeerJ Comput. Sci., 2023)

Measuring Impacts of Poisoning on Model Parameters and Embeddings for Large Language Models of Code. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (AIware, 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 (Koli Calling, 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 (SIGCSE (1), 2024)

Measuring Impacts of Poisoning on Model Parameters and Neuron Activations: A Case Study of Poisoning CodeBERT. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Navid Ayoobi; Mohammad Amin Alipour (CoRR, 2024)

On Trojan Signatures in Large Language Models of Code. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Mohammad Amin Alipour (CoRR, 2024)

Trojans in Large Language Models of Code: A Critical Review through a Trigger-Based Taxonomy. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Toufique Ahmed; Bowen Xu; Premkumar T. Devanbu; Mohammad Amin Alipour (CoRR, 2024)

Revisiting Human Information Foraging: Adaptations for LLM-based Chatbots. - Sruti Srinivasa Ragavan; Mohammad Amin Alipour (CoRR, 2024)

Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing. - Rabimba Karanjai; Aftab Hussain 001; Md. Rafiqul Islam Rabin; Lei Xu 012; Weidong Shi; Mohammad Amin Alipour (CoRR, 2024)

Unlearning Trojans in Large Language Models: A Comparison Between Natural Language and Source Code. - Mahdi Kazemi; Aftab Hussain 001; Md. Rafiqul Islam Rabin; Mohammad Amin Alipour; Sen Lin (CoRR, 2024)

Breaking the Programming Language Barrier: Multilingual Prompting to Empower Non-Native English Learners. - James Prather; Brent N. Reeves; Paul Denny 001; Juho Leinonen 001; Stephen MacNeil; Andrew Luxton-Reilly; João Orvalho; Amin Alipour; Ali Alfageeh; Thezyrie Amarouche; Bailey Kimmel; Jared Wright; et al. (CoRR, 2024)

Finding Trojan Triggers in Code LLMs: An Occlusion-Based Human-in-the-Loop Approach. - Aftab Hussain 001; Md. Rafiqul Islam Rabin; Toufique Ahmed; Mohammad Amin Alipour; Bowen Xu; Stephen Huang (CAIN, 2025)

Calibration and Correctness of Language Models for Code. - Claudio Spiess; David Gros 001; Kunal Suresh Pai; Michael Pradel; Md. Rafiqul Islam Rabin; Amin Alipour; Susmit Jha; Prem Devanbu; Toufique Ahmed (ICSE, 2025)

Web vs. LLMs: An Empirical Study of Learning Behaviors of CS2 Students. - Aayush Kumar; Daniel Prol; Amin Alipour; Sruti Srinivasa Ragavan (CoRR, 2025)

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions. - Ali Alfageeh; Sadegh AlMahdi Kazemi Zarkouei; Daye Nam; Daniel Prol; Matin Amoozadeh; Souti Chattopadhyay; James Prather; Paul Denny 001; Juho Leinonen 001; Michael Hilton; Sruti Srinivasa Ragavan; Mohammad Amin Alipour (CoRR, 2025)

Capturing the Effects of Quantization on Trojans in Code LLMs. - Aftab Hussain 001; Sadegh AlMahdi Kazemi Zarkouei; Md. Rafiqul Islam Rabin; Mohammad Amin Alipour; Sen Lin; Bowen Xu (CoRR, 2025)