Backward propagation of code refinements on transformational code generation environments.

Victor Guana, Eleni Stroulia

Browse the full ICSE paper archive.