Christopher S. Timperley
AuthID: R-00K-8CY
1
TITLE: Is it a Bug? Understanding Physical Unit Mismatches in Robot Software
AUTHORS: Paulo Canelas; Trenton Tabor; John Paul Ore; Alcides Fonseca; Claire Le Goues; Christopher Steven Timperley;
PUBLISHED: 2024, SOURCE: 2024 IEEE International Conference on Robotics and Automation, ICRA 2024 in IEEE International Conference on Robotics and Automation, ICRA 2024, Yokohama, Japan, May 13-17, 2024
AUTHORS: Paulo Canelas; Trenton Tabor; John Paul Ore; Alcides Fonseca; Claire Le Goues; Christopher Steven Timperley;
PUBLISHED: 2024, SOURCE: 2024 IEEE International Conference on Robotics and Automation, ICRA 2024 in IEEE International Conference on Robotics and Automation, ICRA 2024, Yokohama, Japan, May 13-17, 2024
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2
TITLE: Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
AUTHORS: Canelas, Paulo; Schmerl, Bradley; Fonseca, Alcides; Timperley, Christopher S.;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, VOLUME: 5
AUTHORS: Canelas, Paulo; Schmerl, Bradley; Fonseca, Alcides; Timperley, Christopher S.;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, VOLUME: 5
3
TITLE: Usability-Oriented Design of Liquid Types for Java
AUTHORS: Catarina Gamboa; Paulo Canelas; Christopher Steven Timperley; Alcides Fonseca;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023
AUTHORS: Catarina Gamboa; Paulo Canelas; Christopher Steven Timperley; Alcides Fonseca;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023
INDEXED IN: DBLP
DBLP4
TITLE: An Experience Report on Challenges in Learning the Robot Operating System
AUTHORS: Canelas, Paulo; Tavares, Miguel; Cordeiro, Ricardo; Fonseca, Alcides ; Timperley, Christopher S.;
PUBLISHED: 2022, SOURCE: 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 4TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2022)
AUTHORS: Canelas, Paulo; Tavares, Miguel; Cordeiro, Ricardo; Fonseca, Alcides ; Timperley, Christopher S.;
PUBLISHED: 2022, SOURCE: 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 4TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2022)
INDEXED IN: Scopus 
WOS
Scopus WOS5
TITLE: Augmenting Search-based Techniques with Static Synthesis-based Input Generation
AUTHORS: Santos, Paulo; Campos, Jose ; Timperley, Christopher S.; Fonseca, Alcides ;
PUBLISHED: 2021, SOURCE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021)
AUTHORS: Santos, Paulo; Campos, Jose ; Timperley, Christopher S.; Fonseca, Alcides ;
PUBLISHED: 2021, SOURCE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021)
6
TITLE: User-driven Design and Evaluation of Liquid Types in Java
AUTHORS: Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2110.05444
AUTHORS: Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2110.05444
INDEXED IN: DBLP
DBLP