AST 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (104)

A Rui AbreuAbreu, Rui Faculty of Engineering of the University of Porto, PortugalPortugal Committee Member in Program Committee within the AST-track
Wasif AfzalAfzal, Wasif Mälardalen UniversitySweden Committee Member in Program Committee within the AST-track
Shaukat AliAli, Shaukat Simula Research Laboratory and Oslo Metropolitan UniversityNorway Committee Member in Program Committee within the AST-track
Baris ArdicArdic, Baris Delft University of TechnologyNetherlands Web Chair in Organizing Committee within the AST-track
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain ASTRAL: Automated Safety Testing of Large Language Models
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the AST-track
Ali AsgariAsgari, Ali TU Delft Adaptive Probabilistic Operational Testing for Large Language Models Evaluation
Bimpe AyoolaAyoola, Bimpe Dalhousie UniversityCanada Automated Software Testing for Sustainability and Resource Efficiency
B Morena BarboniBarboni, Morena University of CamerinoItaly Proceedings Chair in Organizing Committee within the AST-track
Fevzi BelliBelli, Fevzi Paderborn University, GermanyGermany Committee Member in Steering Committee within the AST-track
Antonia BertolinoBertolino, Antonia Gran Sasso Science InstituteItaly An Adaptive Testing Approach Based on Field Data Committee Member in Steering Committee within the AST-track
Anne BorcherdingBorcherding, Anne Fraunhofer IOSB Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing
Pietro BraioneBraione, Pietro University of Milano-BicoccaItaly Automated Test Generation for Integration Testing
Ruth BreuBreu, Ruth University of InnsbruckAustria Committee Member in Program Committee within the AST-track
Ivan BudiselicBudiselic, Ivan GoogleSwitzerland What Types of Automated Tests do Developers Write?
Christof J. BudnikBudnik, Christof J. Siemens Corporation, Corporate TechnologyUnited States Committee Member in Steering Committee within the AST-track
C Ricardo CaldasCaldas, Ricardo Gran Sasso Science Institute (GSSI)Italy An Adaptive Testing Approach Based on Field Data
Clinton CaoCao, Clinton Delft University of TechnologyNetherlands Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
Yiannis CharalambousCharalambous, Yiannis The University of ManchesterUnited Kingdom A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Vincent CicirelloCicirello, Vincent Stockton UniversityUnited States Committee Member in Program Committee within the AST-track
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UK and Federal University of Amazonas, BrazilUnited Kingdom A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
D Istvan DavidDavid, Istvan McMaster University / McMaster Centre for Software Certification (McSCert)Canada Automated Software Testing for Sustainability and Resource Efficiency
Guglielmo De AngelisDe Angelis, Guglielmo CNR-IASIItaly Committee Member in Program Committee within the AST-track
Giovanni DenaroDenaro, Giovanni University of Milano - Bicocca Automated Test Generation from Program Documentation Encoded in Code Comments Automated Test Generation for Integration Testing
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Program Committee within the AST-track
E Eduard Paul EnoiuEnoiu, Eduard Paul Mälardalen UniversitySweden Committee Member in Program Committee within the AST-track
F João Pascoal FariaFaria, João Pascoal Faculty of Engineering, University of Porto and INESC TECPortugal Acceptance Test Generation with Large Language Models: An Industrial Case Study
Benedikt FeinFein, Benedikt University of PassauGermany AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
Mohamed Amine FerragFerrag, Mohamed Amine Guelma UniversityAlgeria A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Margarida FerreiraFerreira, Margarida University of Porto and Critical TechWorks Acceptance Test Generation with Large Language Models: An Industrial Case Study
Gordon FraserFraser, Gordon University of Passau Exceptional Behaviors: How Frequently Are They Tested? What Types of Automated Tests do Developers Write? AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
G Boni GarciaGarcia, Boni Universidad Carlos III de MadridSpain Committee Member in Program Committee within the AST-track
Gregory GayGay, Gregory Chalmers University of Technology and University of GothenburgSweden Committee Member in Program Committee within the AST-track
Sinem Getir YamanGetir Yaman, Sinem University of York, UKUnited Kingdom Committee Member in Program Committee within the AST-track
Delaram GhobariGhobari, Delaram University of Ottawa Simulink Mutation Testing using CodeBERT
Mark GiraudGiraud, Mark Fraunhofer IOSB Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing
Jens GrabowskiGrabowski, Jens University of Göttingen Committee Member in Program Committee within the AST-track
Antonio GuerrieroGuerriero, Antonio Università di Napoli Federico II Adaptive Probabilistic Operational Testing for Large Language Models Evaluation Committee Member in Program Committee within the AST-track
Luca GuglielmoGuglielmo, Luca Università degli Studi di Milano-BicoccaItaly Automated Test Generation from Program Documentation Encoded in Code Comments Automated Test Generation for Integration Testing
H Martin HirzelHirzel, Martin IBM ResearchUnited States Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
Andre HoraHora, Andre UFMGBrazil Exceptional Behaviors: How Frequently Are They Tested?
Rubing HuangHuang, Rubing Macau University of Science and Technology (M.U.S.T.)China Committee Member in Program Committee within the AST-track
Johannes HäringHäring, Johannes Karlsruhe Institute of Technology Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing
I Marko IvankovićIvanković, Marko University of PassauCroatia What Types of Automated Tests do Developers Write? Committee Member in Program Committee within the AST-track
J Kush JainJain, Kush Carnegie Mellon UniversityUnited States Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
Eunkyoung JeeJee, Eunkyoung KAIST, South KoreaSouth Korea Committee Member in Program Committee within the AST-track
René JustJust, René University of WashingtonUnited States A Taxonomy of Failures in Tool-Augmented LLMs What Types of Automated Tests do Developers Write?
K Kiran KateKate, Kiran IBM Research Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
Elson KurianKurian, Elson University of Milano BicoccaItaly Automated Test Generation for Integration Testing
L Claire Le GouesLe Goues, Claire Carnegie Mellon University Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
Jenny LiLi, Jenny Kean University, USA Committee Member in Steering Committee within the AST-track
Bruno LimaLima, Bruno Faculty of Engineering of the University of Porto & LIACCPortugal Acceptance Test Generation with Large Language Models: An Industrial Case Study
Francesca LonettiLonetti, Francesca CNR-ISTIItaly Committee Member in Steering Committee within the AST-track Program Co-Chair in Organizing Committee within the AST-track
M Alessandro MarchettoMarchetto, Alessandro Università di TrentoItaly Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java
Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland Learning-Based Testing: The Ease, the Impact, the Future
Lina MarssoMarsso, Lina Polytechnique Montreal Automated Software Testing for Sustainability and Resource Efficiency
Steve MasticolaMasticola, Steve Siemens, USA Committee Member in Steering Committee within the AST-track
Breno MirandaMiranda, Breno Centro de Informática at Universidade Federal de PernambucoBrazil Committee Member in Program Committee within the AST-track
Mahshid Helali MoghadamMoghadam, Mahshid Helali Scania CV ABSweden Committee Member in Program Committee within the AST-track
Mika MäntyläMäntylä, Mika University of Helsinki and University of OuluFinland Committee Member in Program Committee within the AST-track
N Shiva NejatiNejati, Shiva University of OttawaCanada Simulink Mutation Testing using CodeBERT
P Annibale PanichellaPanichella, Annibale Delft University of TechnologyNetherlands Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
Mike PapadakisPapadakis, Mike University of LuxembourgLuxembourg Committee Member in Program Committee within the AST-track
José Antonio Parejo MaestreParejo Maestre, José Antonio SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, SpainSpain ASTRAL: Automated Safety Testing of Large Language Models
Patrizio PelliccionePelliccione, Patrizio Gran Sasso Science Institute, L'Aquila, ItalyItaly An Adaptive Testing Approach Based on Field Data
Gilles PerrouinPerrouin, Gilles Fonds de la Recherche Scientifique - FNRS & University of NamurBelgium Committee Member in Program Committee within the AST-track
Goran PetrovicPetrovic, Goran Google; Universität PassauSwitzerland What Types of Automated Tests do Developers Write?
Roberto PietrantuonoPietrantuono, Roberto Università di Napoli Federico II Adaptive Probabilistic Operational Testing for Large Language Models Evaluation
Andrea PoliniPolini, Andrea University of Camerino Committee Member in Program Committee within the AST-track
Jari PorrasPorras, Jari LUT University Finland Automated Software Testing for Sustainability and Resource Efficiency
Severin PrimbsPrimbs, Severin University of Passau AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
R Rudolf RamlerRamler, Rudolf Software Competence Center Hagenberg (SCCH)Austria Committee Member in Program Committee within the AST-track
Ridhi Jain Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAEUnited Arab Emirates A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Luka RimanićRimanić, Luka Google Switzerland GmbH What Types of Automated Tests do Developers Write?
José Miguel RojasRojas, José Miguel University of SheffieldUnited Kingdom Committee Member in Program Committee within the AST-track
Stefano RussoRusso, Stefano Università di Napoli Federico II Adaptive Probabilistic Operational Testing for Large Language Models Evaluation
S Mehrdad SaadatmandSaadatmand, Mehrdad RISE Research Institutes of SwedenSweden Committee Member in Steering Committee within the AST-track
Mehrdad SabetzadehSabetzadeh, Mehrdad University of OttawaCanada Simulink Mutation Testing using CodeBERT
Samira Santos da SilvaSantos da Silva, Samira Gran Sasso Science Institute (GSSI)Italy An Adaptive Testing Approach Based on Field Data
Ina SchieferdeckerSchieferdecker, Ina TU BerlinGermany Program Co-Chair in Organizing Committee within the AST-track
Sergio SeguraSegura, Sergio SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, SpainSpain ASTRAL: Automated Safety Testing of Large Language Models
Seung Yeob ShinShin, Seung Yeob SnT Centre/University of Luxembourg Committee Member in Program Committee within the AST-track
Rajesh SubramanyanSubramanyan, Rajesh University of Washington, USAUnited States Program Co-Chair in Organizing Committee within the AST-track
T Norbert TihanyiTihanyi, Norbert Technology Innovation Institute A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Saurabh TiwariTiwari, Saurabh DA-IICT GandhinagarIndia Committee Member in Program Committee within the AST-track
Porfirio TramontanaTramontana, Porfirio Department of Electrical Engineering and Information Technologies, University of Naples Federico II, ItalyItaly Committee Member in Program Committee within the AST-track
Jason TsayTsay, Jason IBM ResearchUnited States Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
U Miriam UgarteUgarte, Miriam Mondragon University ASTRAL: Automated Safety Testing of Large Language Models
Fitash Ul HaqUl Haq, Fitash Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Program Committee within the AST-track
Andreas UlrichUlrich, Andreas Siemens AG Committee Member in Program Committee within the AST-track
V Pablo ValleValle, Pablo Mondragon UniversitySpain ASTRAL: Automated Safety Testing of Large Language Models
Roberto VerdecchiaVerdecchia, Roberto University of FlorenceItaly Automated Software Testing for Sustainability and Resource Efficiency
Sicco VerwerVerwer, Sicco TU DelftNetherlands Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
Luís ViegasViegas, Luís University of Porto and Critical TechWorks Acceptance Test Generation with Large Language Models: An Industrial Case Study
Thomas VogelVogel, Thomas Humboldt-Universtität zu BerlinGermany Committee Member in Program Committee within the AST-track
W Ziyuan WangWang, Ziyuan Nanjing University of Posts and Telecommunications Committee Member in Program Committee within the AST-track
Kristian WiklundWiklund, Kristian Ericsson AB Committee Member in Program Committee within the AST-track
Cailin WinstonWinston, Cailin University of Washington A Taxonomy of Failures in Tool-Augmented LLMs
W. Eric WongWong, W. Eric University of Texas at DallasUnited States Committee Member in Steering Committee within the AST-track
Z Andy ZaidmanZaidman, Andy Delft University of TechnologyNetherlands General Chair in Organizing Committee within the AST-track
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Personalized Fuzzing
Jingfan ZhangZhang, Jingfan University of Ottawa Simulink Mutation Testing using CodeBERT
Hong ZhuZhu, Hong Oxford Brookes University United Kingdom Committee Member in Steering Committee within the AST-track
ROSMAEL ZIDANE LEKEUFACK FOULEFACKZIDANE LEKEUFACK FOULEFACK, ROSMAEL Information Engineering and Computer Science (DISI)/University of Trento (UNITN) Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java