A tool for JSON schema witness generation L Attouche, MA Baazizi, D Colazzo, F Falleni, G Ghelli, C Landi, C Sartiani, ... 24th International Conference on Extending Database Technology, 694-697, 2021 | 9 | 2021 |
Witness generation for JSON Schema L Attouche, MA Baazizi, D Colazzo, G Ghelli, C Sartiani, S Scherzinger arXiv preprint arXiv:2202.12849, 2022 | 4 | 2022 |
A test suite for JSON schema containment L Attouche, MA Baazizi, D Colazzo, Y Ding, M Fruth, G Ghelli, C Sartiani, ... ER Posters/Demo 2021-40th International Conference on Conceptual Modeling, 2021 | 3 | 2021 |
Validation of Modern JSON Schema: Formalization and Complexity L Attouche, MA Baazizi, D Colazzo, G Ghelli, C Sartiani, S Scherzinger Proceedings of the ACM on Programming Languages 8 (POPL), 1451-1481, 2024 | 2 | 2024 |
Un Outil de Génération de Témoins pour les schémas JSON A Tool for JSON Schema Witness Generation L Attouche, MA Baazizi, D Colazzo, F Falleni, G Ghelli, C Landi, C Sartiani, ... Actes de la conférence BDA 2021, 76, 2021 | 1 | 2021 |
Example Generation for JSON Schema L Attouche Actes de la conférence BDA 2021, 101, 2021 | | 2021 |