Tags

AI 1 AI4Code 1 AI4Education 1 AI4SE 10 AIHUB 1 ALLIES 1 Alloy 1 Artificial Intelligence 21 Automated Feedback 2 Automated Program Repair 26 Automated Program Repair" 1 Automated Reasoning 8 Automated Verification 7 Benchmark 1 C 1 C-Pack-IPAs 1 CFaults 8 Code Mutations 2 Computer Science Education 5 Computer-aided Education 17 CSIC 2 Data Augmentation 2 Databases 3 ELIAS 1 ELLIS 2 ELSA 1 Enumerative Search 6 Fault Localisation 12 Fellowship 2 Formal Methods 23 Formula-Based Fault Localisation 1 Formula-based Fault Localization 2 Git 1 GitLab 1 GitSEED 3 Grant 2 Graph Neural Networks 4 IIIA 2 INESC-ID 2 Intelligent Tutoring Systems 1 InvAASTCluster 3 IRI 1 Large Language Models 15 LLM-Based Program Repair 8 LLM-Based Transpilation 4 LLM-Driven Program Repair 2 LLM4Code 1 LLMs for Code Understanding 3 Logic Programming 3 Maximum Satisfiability 10 MaxSAT 3 MaxSAT-Based Fault Localisation 5 MENTOR 12 Model Checking 4 Model-Based Diagnosis 12 MSCA 1 MSCA COFUND 1 Mutation Testing 2 Neuro-Symbolic AI 2 Oxford 1 PhD 3 Postdoc 1 Program Analysis 8 Program Clustering 3 Program Equivalence 3 Program Invariants 3 Program Synthesis 6 Program Transformation 2 Programming Education 9 Prolog 3 Python 1 Python Verification 4 PyVeritas 4 Query Reverse Engineering 6 R 5 Reliable Reasoning 1 Semantic Robustness of Large Language Models 3 Software Engineering 3 Software Engineering Education 4 Software Verification 4 SQL 6 SQUARES 4 Transparent AI 1 Trustworthy AI 2 UpMax 3 User-based Partitioning 3 Variable Alignment 4 VoA 1