This is a place-holder repo for my Bachelor Thesis.
The project consists in the construction of an algorithm for the verification of the satisfiability of a set of constraints expressed in the JSON Schema syntax.
Future works are the development of a module to generate witnesses, or the extension of the algorithm to verify the inclusion of a JSON Schema in another one.
The project was subsequently taken over by the research group of my supervisor - Prof. G. Ghelli- and is still in development. The real repository is at this link, however at the moment it is still private.
For more information:
- Demo
- Related Papers:
- A Tool for JSON Schema Witness Generation. EDBT 2021 - Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger;
- A Tool for JSON Schema Witness Generation. DBA 2021 - Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger;
- Witness Generation for JSON Schema - Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger;
- Negation-Closure for JSON Schema - Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger;
- A Test Suite for JSON Schema Containment - Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger;
- Not Elimination and Witness Generation for JSON Schema - Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger.