133 citations · 365 across the 73 of their papers we have counts for
77 papers
Detecting HTTP Status Code Misuses in REST APIs via Static and Dynamic Analysis
Alix Decrop, Andrea Arcuri, Mike Papadakis +2
REST APIs are widely used on the web for client-server communications. As REST is based on HTTP, server responses contain status codes to indicate the outcome of requests (e.g., 20…
How effective are traditional test criteria at detecting bugs in large language models generated code?
Asma Hamidi, Michael Konstantinou, Renzo Degiovanni +1
Test adequacy criteria are widely used to evaluate and guide software testing. Although prior research has extensively examined these criteria using human-written programs, faults,…
Proton Irradiation Characterization of an Open-Source ML Accelerator on a Zynq UltraScale+ MPSoC
Saad Memon, Rafal Graczyk, Jan Swakoń +3
As spaceborne computing systems increasingly rely on neural network (NN) accelerators, the opacity of commercial, black-box architectures severely restricts the development of veri…
Synthetic Semantic Supervision for Contrastive Code Representation Learning in Small Transformers: An Empirical Study
Kenneth Paulsen, Florian Tambon, Mike Papadakis +1
General-purpose code embeddings power tools for code search, classification, and retrieval. Compact transformer encoders for code typically rely on either human-written docstrings…
Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Compliance
Vincenzo Collura, Karim Tit, Eleonora Giunchiglia +2
Grammar-constrained decoding helps large language models produce syntactically valid structured outputs, such as code, JSON, and SQL. For context-free grammars, many practical deco…
Assessing Behavioral Validation in UI Component Test Suites Using Inferred Metamorphic Relations
Yu Pei, Cunming Zhang, Jeongju Sohn +1
UI component libraries are commonly assessed using execution-based metrics such as statement and branch coverage, yet these metrics provide limited insight into whether tests verif…