Two-Way Traceability and Conflict Debugging for AspectLTL Programs

Shahar Maoz, Yaniv Sa'ar. Two-Way Traceability and Conflict Debugging for AspectLTL Programs. Transactions on Aspect-Oriented Software Development, 10:39-72, 2013. [doi]

Abstract

Abstract is missing.