Work

Refining Alloy-Based Mutation Operators to Reflect Common Mistakes

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)

DOI: 10.1109/formalise66629.2025.00019

Authors: Ana Jovanovic, Mohammad Nurullah Patwary, Allison Sullivan

Institution: The University of Texas at Arlington

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411234001

FWCI:

Cites: 29

Cited by:

Related to: 10