Bernd Fischer | DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Joao Marques-Silva
31 publications
Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Denis A. Nicole
4 publications
Enrico Steffinlongo
2 publications
Dylan Callaghan
1 publication
Ashish Darbari
1 publication

research

∙ 06/16/2023

Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction

Spectrum-based fault localization (SBFL) works well for single-fault pro...

0 Dylan Callaghan, et al. ∙

research

∙ 10/29/2018

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

We describe and evaluate a bug refutation extension for the Clang Static...

0 Mikhail R. Gadelha, et al. ∙

research

∙ 11/09/2009

Industrial-Strength Formally Certified SAT Solving

Boolean Satisfiability (SAT) solvers are now routinely used in the verif...

0 Ashish Darbari, et al. ∙