Login / Signup

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.

Bentley James OakesJavier TroyaJessie GalassoManuel Wimmer
Published in: Softw. Syst. Model. (2024)
Keyphrases
  • databases
  • high level
  • xml documents
  • distributed systems
  • conceptual model
  • static analysis
  • fault localization