Edgar Sarmiento

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 4

Top Topics

Concurrent Systems

Stochastic Petri Net

Test Case Generation

Top Venues

CLEI Selected Papers

Publications

Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, Eduardo Almentero, Guina Sotomayor Alzamora
Test Scenario Generation from Natural Language Requirements Descriptions based on Petri-Nets. CLEI Selected Papers (2016)
Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, Eduardo Almentero
Using correctness, consistency, and completeness patterns for automated scenarios verification. RePa@RE (2015)
Edgar Sarmiento, Eduardo Almentero, Julio Cesar Sampaio do Prado Leite, Guina Sotomayor Alzamora
Mapping Textual Scenarios to Analyzable Petri-Net Models. ICEIS (2) (2015)
Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, Eduardo Almentero
Analysis of Scenarios with Petri-Net Models. SBES (2015)
Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, Eduardo Almentero
C&L: Generating model based test cases from natural language requirements descriptions. RET (2014)
Edgar Sarmiento, Julio Cesar Sampaio do Prado Leite, Noemi de La Rocque Rodriguez, Arndt von Staa
An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions. ICEIS (2) (2014)
Edgar Sarmiento, Karin K. Breitman, Alberto M. R. Dávila, José Viterbo
A framework for readapting and running bioinformatics applications in the cloud. RACS (2012)
Edgar Sarmiento, Marcos R. S. Borges, Maria Luiza Machado Campos
Applying an Event-based Approach for Detecting Requirements Interaction. ICEIS (3) (2009)