Révéler les propriétés formelles des générateurs d'instances pour JSON Schema en utilisant la rétro-ingénierie pour vérifier leurs capacités et limitations. Des expérimentations sont réalisées sur des jeux de données réels pour confirmer ces résultats.