Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Software Testing Meets Bayesian Workflow: A Literature-Driven Artifact Study of Probabilistic Programs
Oleg Jarma, Maja Dall, Raúl Pardo +2
Automated testing is an effective software quality assurance method, but it is rarely used for probabilistic models. This is despite the heavy use of probabilistic programming for…
cs.SE2026
Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
Nils Chur, Thorsten Berger, Einar Broch Johnsen +1
A controller -- a software module managing hardware behavior -- is a key component of a typical robot system. While control theory gives safety guarantees for standard controller d…