{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:28:53Z","timestamp":1776443333115,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC Collaborative Research and Development Grant","award":["CRDPJ-520531-2017"],"award-info":[{"award-number":["CRDPJ-520531-2017"]}]},{"name":"NSERC Discovery Grant","award":["RGPIN-2020-04219"],"award-info":[{"award-number":["RGPIN-2020-04219"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639478.3640046","type":"proceedings-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:49:26Z","timestamp":1716461366000},"page":"69-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9672-9351","authenticated-orcid":false,"given":"Rafael F.","family":"Toledo","sequence":"first","affiliation":[{"name":"University of Waterloo, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0760-526X","authenticated-orcid":false,"given":"Joanne M.","family":"Atlee","sequence":"additional","affiliation":[{"name":"University of Waterloo, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-4012-0597","authenticated-orcid":false,"given":"Rui Ming","family":"Xiong","sequence":"additional","affiliation":[{"name":"University of Waterloo, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-5296-6824","authenticated-orcid":false,"given":"Mingyu","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Waterloo, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the ACM\/IEEE International Conference on Software Engineering (ICSE'11)","author":"Apel Sven","year":"2011","unstructured":"Sven Apel and Dirk Beyer. 2011. Feature Cohesion in Software Product Lines: An Exploratory Study. In Proceedings of the ACM\/IEEE International Conference on Software Engineering (ICSE'11). ACM, New York, NY, USA, 421--430."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the International Conference on Software Engineering and Information Management (ICSIM'19)","author":"Arora Ritu","year":"2019","unstructured":"Ritu Arora and Sanjay Goel. 2019. JavaRelationshipGraphs (JRG) Transforming Java Projects into Graphs using Neo4j Graph Databases. In Proceedings of the International Conference on Software Engineering and Information Management (ICSIM'19). Association for Computing Machinery, New York, NY, USA, 80--84."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-014-9353-5"},{"key":"e_1_3_2_1_5_1","volume-title":"Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (ICSE'15)","volume":"1","author":"Ben-David Shoham","year":"2015","unstructured":"Shoham Ben-David, Baruch Sterin, Joanne M Atlee, and Sandy Beidu. 2015. Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (ICSE'15), Vol. 1. IEEE, IEEE, Florence, Italy, 189--199."},{"key":"e_1_3_2_1_6_1","volume-title":"Sequence Viewer. In In Proceedings of the International Workshop on Program Comprehension Through Dynamic Analysis (PCODA'07)","author":"Bennett Chris","year":"2007","unstructured":"Chris Bennett, Del Myers, Margaret-Anne Storey, and Daniel German. 2007. Working with 'Monster' Traces: Building a Scalable, Usable, Sequence Viewer. In In Proceedings of the International Workshop on Program Comprehension Through Dynamic Analysis (PCODA'07). IEEE, Vancouver, Canada, 1--5."},{"key":"e_1_3_2_1_7_1","volume-title":"SPLLIFT: Statically Analyzing Software Product Lines in Minutes Instead of Years. ACM SIGPLAN Notices (SIGPLAN'13) 48, 6 (06","author":"Bodden Eric","year":"2013","unstructured":"Eric Bodden, Tarsis Tol\u00e9do, M\u00e1rcio Ribeiro, Claus Brabrand, Paulo Borba, and Mira Mezini. 2013. SPLLIFT: Statically Analyzing Software Product Lines in Minutes Instead of Years. ACM SIGPLAN Notices (SIGPLAN'13) 48, 6 (06 2013), 355--364."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the Working Conference on Software Visualization (VISSOFT'22)","author":"Borowski Krzysztof","year":"2022","unstructured":"Krzysztof Borowski, Bartosz Balis, and Tomasz Orzechowski. 2022. Graph Buddy---an Interactive Code Dependency Browsing and Visualization Tool. In Proceedings of the Working Conference on Software Visualization (VISSOFT'22). IEEE, Limassol, Cyprus, 152--156."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the International Conference on Software Product Lines (SPLC'08","author":"Botterweck Goetz","year":"2008","unstructured":"Goetz Botterweck, Steffen Thiel, Daren Nestor, Saad bin Abid, and Ciar\u00e1n Cawley. 2008. Visual Tool Support for Configuring and Understanding Software Product Lines. In Proceedings of the International Conference on Software Product Lines (SPLC'08. IEEE, Limerick, Ireland, 77--86."},{"key":"e_1_3_2_1_10_1","volume-title":"ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems MODELS'23","author":"Chen Xiang","unstructured":"Xiang Chen and Joanne M. Atlee. 2023. Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. In ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems MODELS'23. IEEE, Vaster\u00e1s, Sweden, 307--318."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the ACM\/IEEE International Conference on Software Engineering (ICSE'10)","author":"Classen Andreas","year":"2010","unstructured":"Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, and Jean-Fran\u00e7ois Raskin. 2010. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proceedings of the ACM\/IEEE International Conference on Software Engineering (ICSE'10). Association for Computing Machinery, New York, NY, USA, 335--344."},{"key":"e_1_3_2_1_12_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","unstructured":"Paul Clements and Linda Northrop. 2001. Software Product Lines: Practices and Patterns. Addison-Wesley Professional, Boston."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of Generative Programming: Concepts and Experiences (GPCE'06)","author":"Czarnecki Krzysztof","year":"2006","unstructured":"Krzysztof Czarnecki and Krzysztof Pietroszek. 2006. Verifying Feature-Based Model Templates against Well-Formedness OCL Constraints. In Proceedings of Generative Programming: Concepts and Experiences (GPCE'06). Association for Computing Machinery, New York, NY, USA, 211--220."},{"key":"e_1_3_2_1_14_1","volume-title":"Congressus Numerantium 42","author":"Eades Peter","year":"1984","unstructured":"Peter Eades. 1984. A Heuristic for Graph Drawing. Congressus Numerantium 42 (1984), 149--160."},{"key":"e_1_3_2_1_15_1","unstructured":"David Greenspan and Tom Coleman. 2023. Logic Solver. https:\/\/github.com\/meteor\/logic-solver. Accessed: 2023-10-24."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the International Workshop on Visualisation of Software Product Line Engineering (ViSPLE@SPLC '08)","author":"Heidenreich Florian","year":"2008","unstructured":"Florian Heidenreich, Ilie \u015eavga, and Christian Wende. 2008. On Controlled Visualisations in Software Product Line Engineering. In Proceedings of the International Workshop on Visualisation of Software Product Line Engineering (ViSPLE@SPLC '08). IEEE, Washington, DCUnited States, 335--341."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Interntional Confer-fence on Objects, Components, Models and Patterns (TOOLS'09)","author":"K\u00e4stner Christian","year":"2009","unstructured":"Christian K\u00e4stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, and Don Batory. 2009. Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. In Proceedings of the Interntional Confer-fence on Objects, Components, Models and Patterns (TOOLS'09)). Springer, Zurich, Switzerland, 175--194."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC'11)","author":"LaToza Thomas D","year":"2011","unstructured":"Thomas D LaToza and Brad A Myers. 2011. Visualizing Call Graphs. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC'11). IEEE, Pittsburgh, PA, 117--124."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE'09)","author":"Lauenroth Kim","year":"2009","unstructured":"Kim Lauenroth, Klaus Pohl, and Simon Toehning. 2009. Model Checking of Domain Artifacts in Product Line Engineering. In Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE'09). IEEE, Auckland, New Zealand, 269--280."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE'13)","author":"Liebig J\u00f6rg","year":"2013","unstructured":"J\u00f6rg Liebig, Alexander von Rhein, Christian K\u00e4stner, Sven Apel, Jens D\u00f6rre, and Christian Lengauer. 2013. Scalable Analysis of Variable Software. In Proceedings of the Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE'13). Association for Computing Machinery, New York, NY, USA, 81--91."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of International Conference on Software Product Lines (SPLC'07)","author":"Loesch Felix","year":"2007","unstructured":"Felix Loesch and Erhard Ploedereder. 2007. Optimization of Variability in Software Product Lines. In Proceedings of International Conference on Software Product Lines (SPLC'07). IEEE, Kyoto, Japan, 151--162."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the International Symposium on Generative and Component-Based Software Engineering (GCSE'01)","author":"Lopez-Herrejon Roberto E","year":"2001","unstructured":"Roberto E Lopez-Herrejon and Don Batory. 2001. A Standard Problem for Evaluating Product-line Methodologies. In Proceedings of the International Symposium on Generative and Component-Based Software Engineering (GCSE'01). Springer, Berlin, Heidelberg, 10--24."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT'14)","author":"Martinez Jabier","year":"2014","unstructured":"Jabier Martinez, Tewfik Ziadi, Raul Mazo, Tegawend\u00e9 F Bissyand\u00e9, Jacques Klein, and Yves Le Traon. 2014. Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines. In Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT'14). IEEE, Victoria, BC, Canada, 50--59."},{"key":"e_1_3_2_1_25_1","volume-title":"Systematic Derivation of Correct Variability-Aware Program Analyses. Science of Computer Programming (SCP'15) 105 (07","author":"Midtgaard Jan","year":"2015","unstructured":"Jan Midtgaard, Aleksandar S Dimovski, Claus Brabrand, and Andrzej W\u0105sowski. 2015. Systematic Derivation of Correct Variability-Aware Program Analyses. Science of Computer Programming (SCP'15) 105 (07 2015), 145--170."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668042"},{"key":"e_1_3_2_1_27_1","volume-title":"Accessed","year":"2023","unstructured":"Neo4j. 2023. Neo4j Browser. https:\/\/neo4j.com\/developer\/neo4j-browser\/. Accessed August, 2023."},{"key":"e_1_3_2_1_28_1","volume-title":"https:\/\/neo4j.com\/ Accessed","year":"2023","unstructured":"Neo4j. 2023. Neo4j Database. https:\/\/neo4j.com\/ Accessed July, 2023."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 44th International Conference on Software Engineering. Association for Computing Machinery","author":"Patterson Zachary","year":"2022","unstructured":"Zachary Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, and Paul Gazzillo. 2022. SugarC: scalable desugaring of real-world preprocessor usage into pure C. In Proceedings of the 44th International Conference on Software Engineering. Association for Computing Machinery, New York, NY, USA, 2056--2067."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the ACM on Programming Languages (PACMPL'20)","author":"Shahin Ramy","year":"2020","unstructured":"Ramy Shahin and Marsha Chechik. 2020. Automatic and Efficient Variability-Aware Lifting of Functional Programs. Proceedings of the ACM on Programming Languages (PACMPL'20) 4, OOPSLA (11 2020), 1--27."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/s10664-023-10290-2","article-title":"Applying Declarative Analysis to Industrial Automotive Software Product Line Models","volume":"28","author":"Shahin Ramy","year":"2023","unstructured":"Ramy Shahin, Rafael Toledo, Robert Hackman, Joanne M Atlee, and Marsha Chechik. 2023. Applying Declarative Analysis to Industrial Automotive Software Product Line Models. Empirical Software Engineering 28, 2 (2023), 40.","journal-title":"Empirical Software Engineering"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410935"},{"key":"e_1_3_2_1_33_1","unstructured":"Rafael F. Toledo Joanne M. Atlee and Rui Ming Xiong. 2023. Comprehending Variability in Analysis Results of Software Product Lines. arXiv:2310.20042"},{"key":"e_1_3_2_1_34_1","volume-title":"Investigating Data-flow Reachability Questions. Master's thesis","author":"Yoo James","unstructured":"James Yoo. 2022. Investigating Data-flow Reachability Questions. Master's thesis. University of British Columbia."}],"event":{"name":"ICSE-Companion '24: 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","location":"Lisbon Portugal","acronym":"ICSE-Companion '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640046","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639478.3640046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:36Z","timestamp":1750291416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":34,"alternative-id":["10.1145\/3639478.3640046","10.1145\/3639478"],"URL":"https:\/\/doi.org\/10.1145\/3639478.3640046","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}