Debugging With an Enriched Dependency-based Model or How to Distinguish Between Aliasing and Value Assignment

Rong Chen, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Search results

  • Finished

    JADE-X - JADE extensions (JADE-X)

    Köb, D., Wotawa, F. & Chen, R.

    1/10/0230/09/05

    Project: Research project