JSON export of merged skylines
Beste Markus,
Ik ben voor Bernard van Gastel bezig met een afstudeerscriptie waarbij ik energy skylines interactief wil gaan maken. De basis hiervoor is jullie artikel. Het idee is dat je vanuit een source code editor een interactieve skyline krijgt die de programmeur helpt bij het vinden van energy bugs.
Ik ben op dit moment bezig om een prototype te ontwerpen. De eca-symbolic-execution speelt hierin ook een rol. Zie bijgevoegde architectuur.
Mijn vraag is eigenlijk of het mogelijk is om de gemergde fragmenten als een JSON data structuur als output (file) krijgen van symbolische executie engine? Wellicht door het meegeven van een extra argument? Ik ben zelf niet bekend met Haskell anders had ik het er zelf wel in willen bouwen.
Als je nog vragen hebt hoor ik dat graag.
Alvast bedankt.