Login / Signup

An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs.

Maria A. S. BritoSimone do Rocio Senger de SouzaPaulo 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