Showing 1–20 of 26 results
/ Date/ Name
Sep 23, 2022Formal Semantics of the CDL LanguageOct 3, 2023Detecting Semantic Conflicts with Unit TestsJan 20, 2025An Exploratory Study on the Engineering of Security FeaturesFeb 2, 2026Before Autonomy Takes Control: Software Testing in RoboticsFeb 20, 2026Many Tools, Few Exploitable Vulnerabilities: A Survey of 246 Static Code Analyzers for SecurityDec 30, 2020ConfigFix: Interactive Configuration Conflict Resolution for the Linux KernelOct 13, 2020Behavior Trees in Action: A Study of Robotics ApplicationsJan 23, 2026Developer Perspectives on REST API Usability: A Study of REST API GuidelinesFeb 4, 2026Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control SoftwareSep 11, 2022Formal Semantics of the Kconfig LanguageOct 2, 2023Software Reconfiguration in RoboticsDec 2, 2021A Generator Framework For Evolving Variant-Rich SoftwareFeb 13, 2021Asset Management in Machine Learning: A SurveyAug 12, 2024A Large-Scale Study of Model Integration in ML-Enabled Software SystemsAug 8, 2022Behavior Trees and State Machines in Robotics ApplicationsAug 12, 2024120 Domain-Specific Languages for SecurityApr 17, 2024Runtime Verification and Field-based Testing for ROS-based Robotic SystemsMay 5, 2022A Driver-Vehicle Model for ADS Scenario-based TestingJan 7, 2019Specification Patterns for Robotic MissionsJun 18, 2020Robotics Software Engineering: A Perspective from the Service Robotics Domain