activity
20212026
most citedHow to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review

91 citations · 127 across the 18 of their papers we have counts for

collaborators
Showing cs.SEShow all

12 papers · 1 filter

cs.SE2026

On the risk of coding before testing: An empirical study on LLM-based test generation workflow

Michael Konstantinou, Florian Tambon, Mike Papadakis

Large Language Models (LLMs) are increasingly used in software engineering workflows to generate both source code and test suites. This dual capability has enabled emerging develop…

cs.SE2026

Flow-A11y: Flow-Aware Accessibility Testing

Nasr Eddine Fliti, Leisan Kokorina, Florian Tambon +1

Modern web applications increasingly expose accessibility barriers through interaction flows rather than static page snapshots. Keyboard traps, focus loss, modal leakage, delayed s…

cs.SE2026

Prompt Coverage Adequacy

Florian Tambon, Michael Konstantinou, Cedric Richter +3

In recent years, it has become increasingly evident that large language models (LLMs) and autonomous agents raise the level of abstraction in software development by shifting the f…

cs.SE2026

Inferring Code Correctness from Specification

Tambon Florian, Papadakis Mike

Large language models (LLMs) have become integral to modern software development, enabling automated code generation at scale. However, validating the correctness of LLM-generated…

cs.SE2024★ 1 cited

TaskEval: Assessing Difficulty of Code Generation Tasks for Large Language Models

Florian Tambon, Amin Nikanjam, Cyrine Zid +2

Large Language Models (LLMs) excel in code-related tasks like code generation, but benchmark evaluations often overlook task characteristics, such as difficulty. Moreover, benchmar…

cs.SE2024

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs

Sylvain Kouemo Ngassom, Arghavan Moradi Dakhel, Florian Tambon +1

LLM-based assistants, such as GitHub Copilot and ChatGPT, have the potential to generate code that fulfills a programming task described in a natural language description, referred…

cs.SE2024★ 3 cited

Bugs in Large Language Models Generated Code: An Empirical Study

Florian Tambon, Arghavan Moradi Dakhel, Amin Nikanjam +3

Large Language Models (LLMs) for code have gained significant attention recently. They can generate code in different programming languages based on provided prompts, fulfilling a…

cs.SE2024★ 1 cited

Deep Learning Model Reuse in the HuggingFace Community: Challenges, Benefit and Trends

Mina Taraghi, Gianolli Dorcelus, Armstrong Foundjem +2

The ubiquity of large-scale Pre-Trained Models (PTMs) is on the rise, sparking interest in model hubs, and dedicated platforms for hosting PTMs. Despite this trend, a comprehensive…

cs.SE2023

Common Challenges of Deep Reinforcement Learning Applications Development: An Empirical Study

Mohammad Mehdi Morovati, Florian Tambon, Mina Taraghi +2

Machine Learning (ML) is increasingly being adopted in different industries. Deep Reinforcement Learning (DRL) is a subdomain of ML used to produce intelligent agents. Despite rece…

cs.SE2023★ 1 cited

Bug Characterization in Machine Learning-based Systems

Mohammad Mehdi Morovati, Amin Nikanjam, Florian Tambon +3

Rapid growth of applying Machine Learning (ML) in different domains, especially in safety-critical areas, increases the need for reliable ML components, i.e., a software component…

cs.SE2022★ 22 cited

A Probabilistic Framework for Mutation Testing in Deep Neural Networks

Florian Tambon, Foutse Khomh, Giuliano Antoniol

Context: Mutation Testing (MT) is an important tool in traditional Software Engineering (SE) white-box testing. It aims to artificially inject faults in a system to evaluate a test…

cs.SE2021★ 6 cited

Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow

Florian Tambon, Amin Nikanjam, Le An +2

Deep Learning (DL) frameworks are now widely used, simplifying the creation of complex models as well as their integration to various applications even to non DL experts. However,…