Cover Image

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hong, Donghee, Kim, Minjong, Cha, Sooyoung, Jo, Jaemin
Format:	Preprint
Published:	2026
Subjects:	Human-Computer Interaction Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Anteater: Interactive Visualization of Program Execution Values in Context
by: Faust, Rebecca, et al.
Published: (2019)

HookLens: Visual Analytics for Understanding React Hooks Structures
by: Hwang, Suyeon, et al.
Published: (2026)

Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems
by: Alexandre, Lucas, et al.
Published: (2026)

AutoGraph: A Knowledge-Graph Framework for Modeling Interface Interaction and Automating Procedure Execution in Digital Nuclear Control Rooms
by: Xiao, Xingyu, et al.
Published: (2025)

Tables or Sankey Diagrams? Investigating User Interaction with Different Representations of Simulation Parameters
by: uulu, Choro Ulan, et al.
Published: (2026)

Considering Visualization Example Galleries
by: Yang, Junran, et al.
Published: (2024)

On the Automated Processing of User Feedback
by: Maalej, Walid, et al.
Published: (2024)

Visual Analysis of GitHub Issues to Gain Insights
by: Proma, Rifat Ara, et al.
Published: (2024)

Detecting UX smells in Visual Studio Code using LLMs
by: Rodriguez, Andrés, et al.
Published: (2026)

Large Language Models as Visualization Agents for Immersive Binary Reverse Engineering
by: Brown, Dennis, et al.
Published: (2025)

Exploring the Output of Software Testing Tools through a Visual Comparative Analysis
by: Lit, Brandon, et al.
Published: (2026)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
by: Jain, Rijul, et al.
Published: (2025)

SPROUT: an Interactive Authoring Tool for Generating Programming Tutorials with the Visualization of Large Language Models
by: Liu, Yihan, et al.
Published: (2023)

How Developers Choose Debugging Strategies for Challenging Web Application Defects
by: Arab, Maryam, et al.
Published: (2025)

SoK: Detection and Repair of Accessibility Issues
by: Nie, Liming, et al.
Published: (2024)

Dynamic Code Orchestration: Harnessing the Power of Large Language Models for Adaptive Script Execution
by: Del Vecchio, Justin, et al.
Published: (2024)

Code Arcades: 3d Visualization of Classes, Dependencies and Software Metrics
by: Savidis, Anthony, et al.
Published: (2025)

Toward Reliable Scientific Visualization Pipeline Construction with Structure-Aware Retrieval-Augmented LLMs
by: Zhao, Guanghui, et al.
Published: (2026)

To be FAIR or RIGHT? Methodological [R]esearch [I]ntegrity [G]iven [H]uman-facing [T]echnologies using the example of Learning Technologies
by: Dehne, Julian
Published: (2026)

Linting Style and Substance in READMEs
by: Mynampaty, Hima, et al.
Published: (2026)

A Unified, Cross-Platform Framework for Automatic GUI and Plugin Generation in Structural Bioinformatics and Beyond
by: Guo, Sikao, et al.
Published: (2026)

Beyond Banning AI: A First Look at GenAI Governance in Open Source Software Communities
by: Yang, Wenhao, et al.
Published: (2026)

Hidden Technical Debt in Generative (GenUI) and Malleable User Interfaces
by: Cifliku, Besjon
Published: (2026)

Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-World AI-Assisted IDE Sessions
by: Tang, Ningzhi, et al.
Published: (2026)

Requirements Perception Gap across Stakeholders: A Comparative Survey of Aged Care Digital Health Software
by: Xiao, Yuqing, et al.
Published: (2026)

EngThrive: Make It Fast and Easy to Do Great Work
by: Houck, Brian, et al.
Published: (2026)

What If We Work Together? Fostering Reflections on Designer Inclusion in Open Source Software Through Speculative Design
by: Nezhad, Rozhan Hozhabri, et al.
Published: (2026)

Recommending Usability Improvements with Multimodal Large Language Models
by: Lubos, Sebastian, et al.
Published: (2026)

Investigating Conversational Agents to Support Secondary School Students Learning CSP
by: Frazier, Matthew, et al.
Published: (2026)

Generating Complex Code Analyzers from Natural Language Questions
by: Nazari, Amirmohammad, et al.
Published: (2026)

V-SHiNE: A Virtual Smart Home Framework for Explainability Evaluation
by: Sadeghi, Mersedeh, et al.
Published: (2026)

Developer Interaction Patterns with Proactive AI: A Five-Day Field Study
by: Kuo, Nadine, et al.
Published: (2026)

SPARK: Real-Time Monitoring of Multi-Faceted Programming Exercises
by: Yang, Yinuo, et al.
Published: (2026)

Governance in Practice: How Open Source Projects Define and Document Roles
by: Oliveira, Pedro, et al.
Published: (2026)

Patient Digital Twins for Chronic Care: Technical Hurdles, Lessons Learned, and the Road Ahead
by: Papazoglou, Micheal P., et al.
Published: (2026)

SHAPR: A Solo Human-Centred and AI-Assisted Practice Framework for Research Software Development
by: Chan, Ka Ching
Published: (2026)

StartFlow: From Method Conception to Multi-Perspective Evaluation in UX Prototyping for Software Startups
by: Guerino, Guilherme Corredato, et al.
Published: (2026)

How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior
by: Wu, Yinan, et al.
Published: (2026)

Linguistic Similarity Within Centralized FLOSS Development
by: Gaughan, Matthew, et al.
Published: (2026)

Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency
by: Thorgeirsson, Sverrir, et al.
Published: (2026)