Login / Signup
An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs.
Maria A. S. Brito
Simone do Rocio Senger de Souza
Paulo Sergio Lopes de Souza
Published in:
ICCS (2013)
Keyphrases
</>
concurrent programs
concurrent programming
web applications
machine learning
test cases
database
database systems
relational databases
model checking
testing process
process algebra
concurrent processes