Explore projects

This is a copy of TinyXML2 parser

This is a copy of the TinyXML parser.

Multi-core Decision Diagram (BDD/LDD) implementation

Symbolic Observation Graph-Based Generation of Test Paths

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .