Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed. Conformance Checking with Constraint Logic Programming: The Case of Feature Models. In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011. pages 456-465, IEEE Computer Society, 2011. [doi]
Abstract is missing.