Skip To Main Content
Vasco Manquinho on Muck Rack

Vasco Manquinho

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Vasco Manquinho’s profile

Articles by Vasco Manquinho

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits

|
By Marta Kwiatkowska, Mikoláš Janota, Vasco Manquinho
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (694) Issue with article?

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education

|
By Mikoláš Janota, Vasco Manquinho
| arXiv
Open in Who Shared Issue with article?

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

|
By Mikoláš Janota, Vasco Manquinho
| arXiv
[Submitted on 12 Jul 2024 ( v1 ), last revised 5 Sep 2025 (this version, v2)] Title:CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases View a PDF of the paper titled CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases, by Pedro Orvalho and Mikol\'a\v{s} Janota and Vasco Manquinho View PDF HTML (experimental) Abstract:Debugging is one of the most time-consuming and expensive tasks in software development.
Open in Who Shared Issue with article?

[2307.13014] Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

|
By Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho
| arXiv
arXiv:2307.13014 (cs) Download a PDF of the paper titled Graph Neural Networks For Mapping Variables Between Programs -- Extended Version, by Pedro Orvalho and Jelle Piepenbrock and Mikol\'a\v{s} Janota and Vasco Manquinho Download PDF Submission history From: Pedro Orvalho [ view email] [v1] Mon, 24 Jul 2023 16:14:32 UTC (327 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What...
Open in Who Shared View Duplicates (676) Issue with article?

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

|
By Mikoláš Janota, Vasco Manquinho
| arXiv
[Submitted on 28 Jun 2022 ( v1 ), last revised 30 Apr 2025 (this version, v3)] Title:InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments View a PDF of the paper titled InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments, by Pedro Orvalho and Mikol\'a\v{s} Janota and Vasco Manquinho View PDF HTML (experimental) Abstract:Due to the vast number of students enrolled in programming courses, there...
Open in Who Shared Issue with article?
Show More