Author

Wen-Xi Wang

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Re-evaluating Detection of Equivalent Mutants using LLMs: We Should Properly Measure How Far We Are

Mutation testing is a widely used approach for measuring test-suite quality. A critical problem in mutation testing is equivalent mutant detection (EMD), i.e., determining if a mutant semantically behaves the same as the original code despite some syntactic differences. A recent study has shown that LLM-based EMD techn...

Arjun Tandon, Mehmet Fırat Dündar, Milkiyas Gebremichael Gebru et al. · Proceedings of the ACM on So... · 0 citations

#artificial intelligence Preprint Oct 2026

Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning

Model specifications define how large language models (LLMs) should behave, guiding alignment training, inference-time behavior, and evaluation. Yet these specifications may themselves contain defects: two individually reasonable principles may prescribe incompatible behavior when applied to the same situation, leaving...

Zi-Chen Xie, Mrigank Pawagi, Li-Ze Shao et al. · 0 citations