Validating JSON Documents with Learned VPAs 2.0 API

Packages

Package	Description
be.ac.umons.jsonlearning	Oracles for learning an automaton from a JSON document.
be.ac.umons.jsonlearning.exploration	Equivalence oracles for JSON documents based on an exhaustive JSON documents generator.
be.ac.umons.jsonlearning.random	Equivalence oracles for JSON documents based on a random JSON documents generator.
be.ac.umons.jsonvalidation	Implementation of a validation algorithm for JSON documents relying on a learned 1-SEVPA.
be.ac.umons.jsonvalidation.graph	Implementations of reachability relation and key graph for a VPA accepting JSON documents.