AIST 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (49)

A Tanwir AhmadAhmad, Tanwir Åbo Akademi UniversityFinland Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Manar H. AlalfiAlalfi, Manar H. Machine Learning for Cross-Vulnerability Prediction in Smart Contracts
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain Workshop Closing Workshop Opening Co-chair in Organizing Committee within the AIST-track
Jon AyerdiAyerdi, Jon Mondragon UniversitySpain Committee Member in Program Committee within the AIST-track
Akramul AzimAzim, Akramul Ontario Tech University Canada An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
B Beril BoraliBorali, Beril University of Ottawa Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
C Yee-Kang ChangChang, Yee-Kang International Business Machines Corporation (IBM)Canada An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
Betty H.C. ChengCheng, Betty H.C. Michigan State UniversityUnited States "No Free Lunch" when using Large Language Models to Verify Self-Generated Programs
Francisco ChicanoChicano, Francisco University of MalagaSpain Committee Member in Program Committee within the AIST-track
Addison CrumpCrump, Addison CISPA Helmholtz Center for Information SecurityGermany Tutorial: SoKotHban - Competitive Adversarial Testing of Sokoban Solvers
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Committee Member in Program Committee within the AIST-track
Gordon FraserFraser, Gordon University of Passau Committee Member in Program Committee within the AIST-track
G Gregory GayGay, Gregory Chalmers \| University of GothenburgSweden Workshop Closing Workshop Opening Committee Member in Organizing Committee within the AIST-track
H Adrien HeymansHeymans, Adrien University of Ottawa Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
K Md Asif KhanKhan, Md Asif Ontario Tech UniversityCanada An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
L Thomas LaurentLaurent, Thomas Lero@Trinity College DublinIreland Committee Member in Program Committee within the AIST-track
Won-Sook LeLe, Won-Sook University of Ottawa Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
Ramiro LiscanoLiscano, Ramiro Ontario Tech University Canada An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
Chengjie LuLu, Chengjie Simula Research Laboratory and University of OsloNorway Committee Member in Program Committee within the AIST-track
M Alberto Martin-LopezMartin-Lopez, Alberto Software Institute - USI, LuganoSwitzerland Committee Member in Program Committee within the AIST-track
Cristopher McIntyre-GarciaMcIntyre-Garcia, Cristopher Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Steering Committee within the AIST-track
Tim MenziesMenzies, Tim North Carolina State UniversityUnited States Committee Member in Steering Committee within the AIST-track
N Hajra NaeemNaeem, Hajra Toronto Metropolitan University Machine Learning for Cross-Vulnerability Prediction in Smart Contracts
Shiva NejatiNejati, Shiva University of OttawaCanada Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
O Mitchell OlsthoornOlsthoorn, Mitchell Delft University of TechnologyNetherlands Tutorial: A Hands-on Tutorial for Automatic Test Case Generation and Fuzzing for JavaScript
P Annibale PanichellaPanichella, Annibale Delft University of TechnologyNetherlands Tutorial: A Hands-on Tutorial for Automatic Test Case Generation and Fuzzing for JavaScript
Sebastiano PanichellaPanichella, Sebastiano Zurich University of Applied SciencesSwitzerland Workshop Closing Workshop Opening Co-chair in Organizing Committee within the AIST-track
Nuno PomboPombo, Nuno Universidade da Beira InteriorPortugal Committee Member in Program Committee within the AIST-track
Ivan PorresPorres, Ivan Åbo Akademi UniversityFinland Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Wishnu PrasetyaPrasetya, Wishnu Utrecht University Committee Member in Program Committee within the AIST-track
R Aurora RamírezRamírez, Aurora University of CórdobaSpain Committee Member in Program Committee within the AIST-track
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly Committee Member in Program Committee within the AIST-track
S Gkerta SeferiSeferi, Gkerta International Business Machines Corporation (IBM)United Kingdom An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
Kevin SmithSmith, Kevin International Business Machines Corporation (IBM)United Kingdom An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
Helge SpiekerSpieker, Helge Simula Research Laboratory, NorwayNorway Committee Member in Program Committee within the AIST-track
Andrea StoccoStocco, Andrea Technical University of Munich, fortissGermany Committee Member in Program Committee within the AIST-track
Gaadha SudheerbabuSudheerbabu, Gaadha Åbo Akademi University Iterative Optimization of Hyperparameter-based Metamorphic Transformations
T Qasim TauseefTauseef, Qasim International Business Machines Corporation (IBM)United Kingdom An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Committee Member in Program Committee within the AIST-track
Dragos TruscanTruscan, Dragos Åbo Akademi UniversityFinland Iterative Optimization of Hyperparameter-based Metamorphic Transformations
V Jüri VainVain, Jüri Tallinn University of Technology, EstoniaEstonia Iterative Optimization of Hyperparameter-based Metamorphic Transformations
W Franz WotawaWotawa, Franz Graz University of TechnologyAustria Committee Member in Steering Committee within the AIST-track
Z Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Towards Better Software Quality in the Era of Large Language Models
Man ZhangZhang, Man Beihang University, China Committee Member in Program Committee within the AIST-track
Xiao-Yi ZhangZhang, Xiao-Yi University of Science and Technology Beijing Committee Member in Program Committee within the AIST-track
Zhenya ZhangZhang, Zhenya Kyushu University, JapanJapan Committee Member in Program Committee within the AIST-track
Yu ZhouZhou, Yu Nanjing University of Aeronautics and AstronauticsChina Committee Member in Program Committee within the AIST-track
Sol ZilbermanZilberman, Sol Michigan State University "No Free Lunch" when using Large Language Models to Verify Self-Generated Programs