Software Engineering

MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation

In this talk I will present MultIPAs, a program transformation tool that can augment IPAs benchmarks by (1) applying six syntactic mutations that conserve the program's semantics …

Pedro Orvalho

• Nov 14, 2022 • 1 min read

Automated Program Repair

MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation

This paper presents MultIPAs, a program transformation tool that can augment IPAs benchmarks by (1) applying six syntactic mutations that conserve the program's semantics and (2) …

Pedro Orvalho

• Nov 14, 2022 • 1 min read

Maximum Satisfiability

AlloyMax: Bringing Maximum Satisfaction to Relational Specifications

We propose AlloyMax, an extension of Alloy with a capability to express and analyze problems with optimal solutions. AlloyMax introduces (1) a small addition of language constructs …

Changjian Zhang

• Aug 17, 2021 • 1 min read