{"id":"3256431","title":"Two-way traceability and conflict debugging for AspectLTL programs","pdf":"https://dl.acm.org/ft_gateway.cfm?id=2162055&ftid=1167301&dwn=1&CFID=109511651&CFTOKEN=53aa662d04f2982-66B82081-A6D2-1FCD-63F1A773BEA60045","authors":[{"type":"author_page","name":"Shahar Maoz","id":"81320492363","affiliation":{"type":"inst_page","name":"RWTH Aachen University, Aachen, Germany","id":"60016653"}},{"type":"author_page","name":"Yaniv Sa'ar","id":"81461659140","affiliation":{"type":"inst_page","name":"Weizmann Institute of Science, Rehovot, Israel","id":"60017563"}}],"publisher":{"text":"AOSD '12 Proceedings of the 11th annual international conference on Aspect-oriented Software Development","details":"Pages 35-46\nPotsdam, Germany — March 25 - 30, 2012\nACM New York, NY, USA  ©2012\ntable of contents\nISBN: 978-1-4503-1092-5\ndoi>10.1145/2162049.2162055"}}