Software construction
Related papers: 20
Top Researchers
Top Cited Papers
Optuna: A Next-generation Hyperparameter Optimization Framework
Citations: 995 • 2019
Open robot control software: the OROCOS project
Herman Bruyninckx
Citations: 566 • 2002
Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study
David Coleman, Ioan A. Şucan, Sachin Chitta, Nikolaus Correll
Citations: 269 • 2014
Software Engineering for Self-Adaptive Systems II
Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw
Citations: 213 • 2013
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques
V.U.B. Challagulla, Farokh Bastani, I‐Ling Yen, Raymond A. Paul
Citations: 153 • 2006
Component-Based Robotic Engineering (Part II)
Davide Brugali, Azamat Shakhimardanov
Citations: 131 • 2010
Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study
David Coleman, Ioan A. Şucan, Sachin Chitta, Nikolaus Correll
Citations: 86 • 2014
A Study on Challenges of Testing Robotic Systems
Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher S. Timperley
Citations: 85 • 2020
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
Citations: 75 • 2017
Robotic Testing of Mobile Apps for Truly Black-Box Automation
Ke Mao, Mark Harman, Yue Jia
Citations: 65 • 2017
The build-time software architecture view
Qiang Tu, Michael W. Godfrey
Citations: 65 • 2002
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Citations: 57 • 2011
An Automated Test Generation Technique for Software Quality Assurance
Dianxiang Xu, Weifeng Xu, Mike Kent, Lijo Thomas, Linzhang Wang
Citations: 54 • 2014
A reusable operational software architecture for advanced robotics
Chetan Kapoor, Delbert Tesar
Citations: 51 • 1996
Design Principles of the Component-Based Robot Software Framework Fawkes
Tim Niemueller, Alexander Ferrein, Daniel Beck, Gerhard Lakemeyer
Citations: 51 • 2010
Robot operating system: A modular software framework for automated driving
Andre-Marcel Hellmund, Sascha Wirges, Ömer Şahin Taş, Claudio Bandera, Niels Ole Salscheider
Citations: 46 • 2016
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
Citations: 45 • 2002
Software components and frameworks for medical robot control
A. Kapoor, Anton Deguet, Peter Kazanzides
Citations: 45 • 2006
A test generation solution to automate software testing
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux
Citations: 44 • 2008
Software engineering research on the Robot Operating System: A systematic mapping study
Michel Albonico, Milica Đorđević, Engel Hamer, Ivano Malavolta
Citations: 36 • 2022