Christopher S. Timperley
AuthID: R-00K-8CY
1
TÃTULO: Is it a Bug? Understanding Physical Unit Mismatches in Robot Software
AUTORES: Paulo Canelas; Trenton Tabor; John Paul Ore; Alcides Fonseca; Claire Le Goues; Christopher Steven Timperley;
PUBLICAÇÃO: 2024, FONTE: 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
AUTORES: Paulo Canelas; Trenton Tabor; John Paul Ore; Alcides Fonseca; Claire Le Goues; Christopher Steven Timperley;
PUBLICAÇÃO: 2024, FONTE: 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
INDEXADO EM: Scopus DBLP
2
TÃTULO: Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
AUTORES: Paulo Canelas; Bradley R Schmerl; Alcides Fonseca; Christopher Steven Timperley;
PUBLICAÇÃO: 2024, FONTE: 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
AUTORES: Paulo Canelas; Bradley R Schmerl; Alcides Fonseca; Christopher Steven Timperley;
PUBLICAÇÃO: 2024, FONTE: 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
TÃTULO: Usability-Oriented Design of Liquid Types for Java
AUTORES: Catarina Gamboa; Paulo Canelas; Christopher Steven Timperley; Alcides Fonseca;
PUBLICAÇÃO: 2023, FONTE: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023
AUTORES: Catarina Gamboa; Paulo Canelas; Christopher Steven Timperley; Alcides Fonseca;
PUBLICAÇÃO: 2023, FONTE: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023
INDEXADO EM: DBLP
4
TÃTULO: An Experience Report on Challenges in Learning the Robot Operating System
AUTORES: Canelas, Paulo; Tavares, Miguel; Cordeiro, Ricardo; Fonseca, Alcides ; Timperley, Christopher S.;
PUBLICAÇÃO: 2022, FONTE: 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 4TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2022)
AUTORES: Canelas, Paulo; Tavares, Miguel; Cordeiro, Ricardo; Fonseca, Alcides ; Timperley, Christopher S.;
PUBLICAÇÃO: 2022, FONTE: 4th IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 4TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2022)
INDEXADO EM: Scopus WOS
5
TÃTULO: Augmenting Search-based Techniques with Static Synthesis-based Input Generation
AUTORES: Santos, Paulo; Campos, Jose ; Timperley, Christopher S.; Fonseca, Alcides ;
PUBLICAÇÃO: 2021, FONTE: 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)
AUTORES: Santos, Paulo; Campos, Jose ; Timperley, Christopher S.; Fonseca, Alcides ;
PUBLICAÇÃO: 2021, FONTE: 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
TÃTULO: User-driven Design and Evaluation of Liquid Types in Java
AUTORES: Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2110.05444
AUTORES: Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2110.05444
INDEXADO EM: DBLP