Breaking the Abstract–Concrete Barrier: A Cyclic Framework for Integrating Combinatorial and Metamorphic Testing

This repository provides the implementation and experimental data for the ReMac approach proposed in our paper:

Breaking the Abstract–Concrete Barrier: A Cyclic Framework for Integrating Combinatorial and Metamorphic Testing

ReMac integrates metamorphic relations (MRs) directly into the process of covering array generation to support low-cost, automated test oracle construction in combinatorial testing.

---

📂 Repository Structure

/generator

Contains the executable .jar file that implements ReMac for generating test cases, along with usage instructions.

• ReMac.jar
• README.txt — usage instructions

/subjects

Includes the 21 subject programs used in the experiments. These are adopted from the COMER repository.

/results

Provides the experimental results comparing ReMac with COMER across the following dimensions:

• Test case generation time
• Oracle automation support
• Fault detection effectiveness
• Test suite size

The directory contains raw output tables (in .xlsx format).

---

📌 Highlights

• Fully automated MR tracking during test generation
• Concrete-level MR matching, increasing oracle effectiveness
• Higher test generation efficiency compared to COMER
• Significantly improved fault detection rate

---

🛠 Requirements

• Java 11 or higher
• Choco Solver 4.10.2

---