António Morgado

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Theoretical Underpinnings

Minimal Subsets

Number Of Test Cases

Top Venues

J. Symb. Comput.

Publications

Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. CoRR (2024)
Ramón Béjar, António Morgado, Jordi Planes, João Marques-Silva
On Logic-Based Explainability with Partially Specified Inputs. CoRR (2023)
Mikolás Janota, António Morgado, Petr Vojtechovský
Computing generating sets of minimal size in finite algebras. J. Symb. Comput. 119 (2023)
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. ISSTA (2023)
Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva
Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) (2023)