2 papers
cs.HC2025
Lost in Translation: How Does Bilingualism Shape Reader Preferences for Annotated Charts?
Anjana Arunkumar, Lace Padilla, Chris Bryan
Visualizations are powerful tools for conveying information but often rely on accompanying text for essential context and guidance. This study investigates the impact of annotation…
cs.SE2017
Functional Requirements-Based Automated Testing for Avionics
Youcheng Sun, Martin Brain, Daniel Kroening +7
We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bo…