Author of the publication

An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions.

, , , and . ICEIS (2), page 339-347. SciTePress, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A framework for readapting and running bioinformatics applications in the cloud., , , and . RACS, page 86-91. ACM, (2012)An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions., , , and . ICEIS (2), page 339-347. SciTePress, (2014)Analysis of Scenarios with Petri-Net Models., , and . SBES, page 90-99. IEEE Computer Society, (2015)Mapping Textual Scenarios to Analyzable Petri-Net Models., , , and . ICEIS (2), page 494-501. SciTePress, (2015)Test Scenario Generation from Natural Language Requirements Descriptions based on Petri-Nets., , , and . CLEI Selected Papers, volume 329 of Electronic Notes in Theoretical Computer Science, page 123-148. Elsevier, (2016)Applying an Event-based Approach for Detecting Requirements Interaction., , and . ICEIS (3), page 225-230. (2009)Using correctness, consistency, and completeness patterns for automated scenarios verification., , and . RePa@RE, page 47-54. IEEE Computer Society, (2015)C&L: Generating model based test cases from natural language requirements descriptions., , and . RET, page 32-38. IEEE, (2014)Early analysis of requirements using NLP and Petri-nets., and . J. Syst. Softw., (February 2024)Gas Sensors and Machine Learning for Quality Evaluation of Grape Spirits (Pisco)., , and . SIMBig, volume 1837 of Communications in Computer and Information Science, page 158-174. Springer, (2022)