Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, Noemi Rodriguez, Arndt von Staa. An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions. In Slimane Hammoudi, Leszek A. Maciaszek, José Cordeiro, editors, ICEIS 2014 - Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30 April, 2014. pages 339-347, SciTePress, 2014. [doi]
Abstract is missing.