Albert Tort, Antoni Olivé, Maria-Ribera Sancho. On Checking Executable Conceptual Schema Validity by Testing. In Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou, editors, Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I. Volume 7446 of Lecture Notes in Computer Science, pages 249-264, Springer, 2012. [doi]
Abstract is missing.