AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION Topics: Evolutionary Programming; Modeling Formalisms, Languages and Notations; Software Engineering In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 5: ICEIS, 250-255, 2010 , Funchal, Madeira, Portugal