Conformance Checking with Constraint Logic Programming: The Case of Feature Models.

Ral Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed

Browse the full COMPSAC paper archive.