Maintaining invariant traceability through bidirectional transformations.

Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux

Browse the full ICSE paper archive.