Christopher S. Timperley
AuthID: R-00K-8CY
1
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
DBLP2
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 WOS3
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)
4
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