[{"text":"\n\n\nShahar Maoz , Yaniv Sa'ar, Two-Way traceability and conflict debugging for AspectLTL programs, Transactions on Aspect-Oriented Software Development X, Springer-Verlag, Berlin, Heidelberg, 2013\n\n\n","citation":"2554490"},{"text":"\n\n\nShahar Maoz , Yaniv Sa'ar, Counter play-out: executing unrealizable scenario-based specifications, Proceedings of the 2013 International Conference on Software Engineering, May 18-26, 2013, San Francisco, CA, USA\n\n\n","citation":"2486821"}]