https://sr-lab.github.io/event/example/2030-06-01T13:00:00+00:00weeklyhttps://sr-lab.github.io/event/2030-06-01T13:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-12-30T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-12-31-Year-in-review/2025-12-30T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-10-04-Social-Barracuda/2025-10-04T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-09-21-Dagstuhl-Spec-Engineering/2025-09-26T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Alexandra-Mendes/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Alexandre-Abreu/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Alvaro-Silva/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/SEFM_Willingness/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/authors/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/SEFM_DafnyStudy/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Carolina-Carreira/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Joao-F.-Ferreira/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Nicolas-Christin/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication-type/paper-conference/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication_types/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/SEFM_Repair/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Valentina-Wu/2025-09-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-08-15-SEFM-papers/2025-08-15T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Francisco-Oliveira/2025-07-20T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/ISSRE/2025-07-20T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Ana-CR-Paiva/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Anna-Rita-Fasolino/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication-type/article-journal/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Beatriz-Marin/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Felix-Cammaerts/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Mehrdad-Saadatmand/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Monique-Snoeck/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Porfirio-Tramontana/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Tanja-EJ-Vos/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/TOCE/2025-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-06-03-Amazon-Research-Awards/2025-06-03T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/SLE/2025-05-18T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Gustavo-Santos/2025-05-18T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Joao-Bispo/2025-05-18T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Alex-Sanchez-Stern/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Emily-First/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Kevin-Fisher/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Nuno-Saavedra/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Pedro-Carrott/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/ICSE/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Robert-Thompson/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Sorin-Lerner/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Yuriy-Brun/2025-04-27T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/ISSTA/2025-04-11T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-04-01-ICSE-Distinguished-Paper-Award/2025-04-03T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Daniel-Varro/2025-03-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/TSE/2025-03-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Lili-Wei/2025-03-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Rungroj-Maipradit/2025-03-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Shane-McIntosh/2025-03-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Sogol-Masoumzadeh/2025-03-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/project/infragov/2025-03-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2025-03-01-infragov-new-funded-project/2025-03-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/project/2025-03-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2025/ECOOP/2025-02-28T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/David-Ferreira/2025-02-28T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Ana-C.-R.-Paiva/2025-01-01T22:42:47+00:00weeklyhttps://sr-lab.github.io/publication/2025/JSoftwareQuality/2025-01-01T22:42:47+00:00weeklyhttps://sr-lab.github.io/author/Mateus-Silva/2025-01-01T22:42:47+00:00weeklyhttps://sr-lab.github.io/news/2024-11-12-minister-science-at-cmu/2024-11-12T00:00:00+00:00weeklyhttps://sr-lab.github.io/project/verifixer/2024-10-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2024-10-01-verifixer-new-funded-project/2024-10-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Saul-Johnson/2024-06-26T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/PhD-Thesis-Saul-Johnson/2024-06-26T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication-type/thesis/2024-06-26T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Achim-D.-Brucker/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Alessandro-Fantechi/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Allison-Sullivan/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Andre-Platzer/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/FAC/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Jan-Oliver-Ringert/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Klaus-Havelund/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Manfred-Broy/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Mario-Gleirscher/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Markus-Kuppe/2024-06-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Domenico-Amalfitano/2024-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/ICST/2024-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Tanja-E.-J.-Vos/2024-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/news/2024-04-19-alexandra-mendes-wins-flad-atlantic-security-award/2024-04-19T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/FSE-CoqPyt/2024-04-16T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/ICSE-Poster-Contracts/2024-04-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/EMSE/2024-01-02T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Gernot-Salzer/2024-01-02T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Monika-di-Angelo/2024-01-02T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Thomas-Durieux/2024-01-02T10:35:12+01:00weeklyhttps://sr-lab.github.io/publication/2024/Formalise/2024-01-02T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2024/JASE/2024-01-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Rui-Lima/2024-01-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Bruno-Rodrigues/2023-10-08T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Ivan-Silva/2023-10-08T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Ivone-Amorin/2023-10-08T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2023/DPM/2023-10-08T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Joao-Goncalves/2023-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Miguel-Henriques/2023-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2023/ASE-GLITCH/2023-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2023/ASE-Smartbugs2/2023-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Henrique-Guerra/2023-05-12T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2023/ECOOP/2023-05-12T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Joao-Costa-Seco/2023-05-12T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Andre-Silva/2023-04-05T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication-type/article/2023-04-05T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/He-Ye/2023-04-05T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Martin-Monperrus/2023-04-05T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2023/MUFIN/2023-04-05T00:00:00+00:00weeklyhttps://sr-lab.github.io/2022-10-24T00:00:00+00:00weeklyhttps://sr-lab.github.io/contact/2022-10-24T00:00:00+00:00weeklyhttps://sr-lab.github.io/people/2022-10-24T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2022/JLAMP/2022-08-01T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Bill-Stoddart/2022-08-01T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Campbell-Ritchie/2022-08-01T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Frank-Zeyda/2022-08-01T10:35:12+01:00weeklyhttps://sr-lab.github.io/author/Steve-Dunne/2022-08-01T10:35:12+01:00weeklyhttps://sr-lab.github.io/publication/2022/ASE/2022-07-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2022/MobileSoft/2022-05-14T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Ricardo-Pereira/2022-05-14T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Rui-Abreu/2022-05-14T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2023/ASYDE/2022-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Joao-Campos/2022-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Jose-Bacelar-Almeida/2022-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Miguel-Grilo/2022-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Nuno-Macedo/2022-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2022/iFM/2022-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2022/AIST/2022-04-04T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Miguel-Trinca/2022-04-04T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Ana-Ribeiro/2021-12-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2021/QRS/2021-12-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication-type/book/2021-11-23T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Claudio-Menghi/2021-11-23T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2021/appFM/2021-11-23T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2021/FMTea/2021-11-23T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Nicholas-Christin/2021-11-23T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2021/IWOR/2021-11-10T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2021/Inforum/2021-09-10T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Alan-Lindsay/2021-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2021/JAAMAS/2021-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Julie-Porteous/2021-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Marc-Cavazza/2021-05-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Pedro-Cruz/2020-08-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2020/ASE/2020-08-07T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/David-Pereira/2020-08-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2020/RSDA/2020-08-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2020/ICSE/2020-05-23T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Julien-Cordry/2020-02-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2020/AsiaCCS/2020-02-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2020/AAMAS/2020-01-15T00:00:00+00:00weeklyhttps://sr-lab.github.io/publication/2020/AAAI/2020-01-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/author/Thomas-Hayton/2020-01-01T00:00:00+00:00weeklyhttps://sr-lab.github.io/opportunities/2019-12-26T13:27:59+00:00weeklyhttps://sr-lab.github.io/admin/weeklyhttps://sr-lab.github.io/author/Alice-Wu-%E5%90%B3%E6%81%A9%E9%81%94/weeklyhttps://sr-lab.github.io/author/Bruno-Lourenco/weeklyhttps://sr-lab.github.io/categories/weeklyhttps://sr-lab.github.io/author/Isabel-Amaral/weeklyhttps://sr-lab.github.io/author/Martim-Afonso/weeklyhttps://sr-lab.github.io/author/Micael-Afonso/weeklyhttps://sr-lab.github.io/author/Sofia-Santos/weeklyhttps://sr-lab.github.io/tags/weekly