Two-way traceability and conflict debugging for AspectLTL programs

Shahar Maoz, Yaniv Sa'ar. Two-way traceability and conflict debugging for AspectLTL programs. In Robert Hirschfeld, √Čric Tanter, Kevin J. Sullivan, Richard P. Gabriel, editors, Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012. pages 35-46, ACM, 2012. [doi]

Authors

Shahar Maoz

This author has not been identified. Look up 'Shahar Maoz' in Google

Yaniv Sa'ar

This author has not been identified. Look up 'Yaniv Sa'ar' in Google