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: Paulo Canelas; Bradley R Schmerl; Alcides Fonseca; Christopher Steven Timperley;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 in Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024, VOLUME: 5
AUTHORS: Paulo Canelas; Bradley R Schmerl; Alcides Fonseca; Christopher Steven Timperley;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 in Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 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