Allison Sullivan

38 papers A* 2A 10B 2C 3Journal 11Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Does Every Computer Scientist Need to Know Formal Methods? Formal Aspects Comput. Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025	—	`conf`	Is More or Less Automation Better? An Investigation into the LLM4TDD Process. LLM4Code@ICSE Sanyogita Piya, Anahita Samadi, Allison Sullivan
2025	J	`jnl`	Mutation testing for temporal alloy models (extended version). Softw. Syst. Model. Ana Jovanovic, Allison Sullivan
2025	—	`conf`	Refining Alloy-Based Mutation Operators to Reflect Common Mistakes. FormaliSE Ana Jovanovic, Mohammad Nurullah Patwary, Allison Sullivan
2024	A	`conf`	AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. MODELS Guanxuan Wu, Allison Sullivan
2024	J	`jnl`	AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. CoRR Guanxuan Wu, Allison Sullivan
2024	J	`jnl`	Empirically Exploring How Novices Write Software Models in Alloy. CoRR Ana Jovanovic, Allison Sullivan
2024	J	`jnl`	Evaluating Text Classification Robustness to Part-of-Speech Adversarial Examples. CoRR Anahita Samadi, Allison Sullivan
2024	—	`conf`	LLM4TDD: Best Practices for Test Driven Development Using Large Language Models. LLM4CODE@ICSE Sanyogita Piya, Allison Sullivan
2024	B	`conf`	Right or Wrong - Understanding How Users Write Software Models in Alloy. SEFM Ana Jovanovic, Allison Sullivan
2024	J	`jnl`	Structure Editor for Building Software Models. CoRR Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan
2023	B	`conf`	Abstract Alloy Instances. FM Jan Oliver Ringert, Allison Sullivan
2023	A	`conf`	Crucible: Graphical Test Cases for Alloy Models. ISSRE Adam G. Emerson, Allison Sullivan
2023	J	`jnl`	Crucible: Graphical Test Cases for Alloy Models. CoRR Adam G. Emerson, Allison Sullivan
2023	A	`conf`	Integrating Testing into the Alloy Model Development Workflow. MODELS Allison Sullivan
2023	J	`jnl`	LLM4TDD: Best Practices for Test Driven Development Using Large Language Models. CoRR Sanyogita Piya, Allison Sullivan
2023	A*	`conf`	Live Programming for Finite Model Finders. ASE Allison Sullivan
2023	J	`jnl`	Live Programming for Finite Model Finders. CoRR Allison Sullivan
2023	A	`conf`	Mutation Testing for Temporal Alloy Models. MODELS Ana Jovanovic, Allison Sullivan
2022	A	`conf`	REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track). ISSRE Ana Jovanovic, Allison Sullivan
2022	—	`conf`	Towards Automated Input Generation for Sketching Alloy Models. FormaliSE@ICSE Ana Jovanovic, Allison Sullivan
2021	—	`conf`	AlloyFL: a fault localization framework for Alloy. ESEC/SIGSOFT FSE Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang
2021	A	`conf`	HawkEye: User-Guided Enumeration of Scenarios. ISSRE Allison Sullivan
2021	J	`jnl`	REACH: Refining Alloy Scenarios by Scope. CoRR Ana Jovanovic, Allison Sullivan
2020	A	`conf`	Fault Localization for Declarative Models in Alloy. ISSRE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2019	—	`conf`	ARepair: a repair framework for alloy. ICSE (Companion Volume) Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2019	C	`conf`	Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	—	`conf`	ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	A	`conf`	AUnit: A Test Automation Tool for Alloy. ICST Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid
2018	A*	`conf`	Automated model repair for Alloy. ASE Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2018	J	`jnl`	Fault Localization for Declarative Models in Alloy. CoRR Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	—	`conf`	MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2018	C	`conf`	Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	C	`conf`	Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
2017	A	`conf`	Automated Test Generation and Mutation Testing for Alloy. ICST Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2017	—	`conf`	Evaluating State Modeling Techniques in Alloy. SQAMIA Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
2016	A	`conf`	The Effect of Test Suite Type on Regression Test Selection. ISSRE Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel
2014	—	`conf`	Towards a test automation framework for alloy. SPIN Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov