$\widehat{Neo4j}$ Browser: Visualizing Variable-Aware Analysis Results

A software product line (SPL) implements a family of related soft-ware products. As such, analyzing a software produce line produces variable results that apply to some SPL variants and not to others. Typically, such results are annotated with presence conditions, which are logical expressions that represent the product variants to which the results apply. When analyzing large SPLs, these expressions that annotate results can become overwhelmingly large and difficult to reason about. In this paper, we present
$\widehat{Neo4j}$
Browser for visualizing and exploring the results of an SPL analysis.
$\widehat{Neo4j}$
Browser provides an interactive and customiz-able interface that allows the user to highlight results according to product variants of interest. Previous evaluations show that the
$\widehat{Neo4j}$
Browser improves the correctness and efficiency of the user's work and reduces the user's cognitive load in working with variable results. The tool can be downloaded at https://vault.cs.uwaterloo.ca/s/Rqy2f56PeC6s4XD, and a demo video pre-senting its features is at https://youtu.be/CoweflQQFWU.