Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Timperley, Christopher S."'
The Robot Operating System (ROS) is a popular framework and ecosystem that allows developers to build robot software systems from reusable, off-the-shelf components. Systems are often built by customizing and connecting components via configuration f
Externí odkaz:
http://arxiv.org/abs/2407.19292
Autor:
Timperley, Christopher S., van der Hoorn, Gijs, Santos, André, Deshpande, Harshavardhan, Wąsowski, Andrzej
Publikováno v:
ROBUST: 221 bugs in the Robot Operating System CS Timperley, G van der Hoorn, A Santos, H Deshpande, A W\k{a}sowski Empirical Software Engineering 29 (3), 57, 2024
As robotic systems such as autonomous cars and delivery drones assume greater roles and responsibilities within society, the likelihood and impact of catastrophic software failure within those systems is increased.To aid researchers in the developmen
Externí odkaz:
http://arxiv.org/abs/2404.03629
Autor:
Ivers, James, Nord, Robert L., Ozkaya, Ipek, Seifried, Chris, Timperley, Christopher S., Kessentini, Marouane
Software refactoring plays an important role in software engineering. Developers often turn to refactoring when they want to restructure software to improve its quality without changing its external behavior. Studies show that small-scale (floss) ref
Externí odkaz:
http://arxiv.org/abs/2202.00173
Autonomous and Robotics Systems (ARSs) are widespread, complex, and increasingly coming into contact with the public. Many of these systems are safety-critical, and it is vital to detect software errors to protect against harm. We propose a family of
Externí odkaz:
http://arxiv.org/abs/2201.12464
Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address, and may have dire consequences. Type systems are particularly effecti
Externí odkaz:
http://arxiv.org/abs/2110.05444
Testing robotic and cyberphysical systems in simulation require specifications of the simulated environments (i.e., scenes). The Scenic domain-specific language provides a high-level probabilistic programming language that allows users to specify sce
Externí odkaz:
http://arxiv.org/abs/2104.08625
In recent years, many software engineering researchers have begun to include artifacts alongside their research papers. Ideally, artifacts, including tools, benchmarks, and data, support the dissemination of ideas, provide evidence for research claim
Externí odkaz:
http://arxiv.org/abs/2008.01046
Robotics simulation plays an important role in the design, development, and verification and validation of robotic systems. Recent studies have shown that simulation may be used as a cheaper, safer, and more reliable alternative to manual, and widely
Externí odkaz:
http://arxiv.org/abs/2004.07368
Autor:
Timperley, Christopher S.
Debugging and repairing software defects costs the global economy hundreds of billions of dollars annually, and accounts for as much as 50% of programmers' time. To tackle the burgeoning expense of repair, researchers have proposed the use of novel t
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727341
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.