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]

Bibliographies