Forge pipeline combines LLM code generation with MDE transformations to produce verifiable artifacts in Dafny, CSP, and Isabelle, iterating on failures to generate standards-relevant evidence for Java code.
IEEE Software , volume = 20, number = 5, pages =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
ProMoTA integrates process modeling with automated end-to-end traceability generation and analysis for model transformation chains in MDE, demonstrated on a wireless sensor network IoT application.
citing papers explorer
-
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Forge pipeline combines LLM code generation with MDE transformations to produce verifiable artifacts in Dafny, CSP, and Isabelle, iterating on failures to generate standards-relevant evidence for Java code.
-
ProMoTA: a model-driven framework for end-to-end traceability analysis
ProMoTA integrates process modeling with automated end-to-end traceability generation and analysis for model transformation chains in MDE, demonstrated on a wireless sensor network IoT application.