António José dos Reis Morgado


AuthID: R-00K-JMR

Publications Awaiting Confirmation

1
TITLE: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTHORS: Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Santos, Jose Fragoso;
PUBLISHED: 2023, SOURCE: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023
INDEXED IN: Scopus WOS
2
TITLE: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTHORS: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Feature Necessity & Relevancy in ML Classifier Explanations
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, VOLUME: 13993
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: On Logic-Based Explainability with Partially Specified Inputs
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Computing generating sets of minimal size in finite algebras
AUTHORS: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLISHED: 2023, SOURCE: J. Symb. Comput., VOLUME: 119
INDEXED IN: DBLP
IN MY: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service