Modelling Metamorphism by Abstract Interpretation
No abstract available.
Related papers
- Metamorphism in jigsaw JFP 2013
- MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware JFP 1992
- New ideas: automated engineering of metamorphic testing environments for domain-specific languages SLE 2021
- Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language Onward! 2014
- Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models OOPSLA 2024
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- Metamorph: Synthesizing Large Objects from Dafny Specifications OOPSLA 2025
- Metamorphic Testing for Infrastructure-as-Code Engines OOPSLA 2026