Login / Signup

Discovering and Validating Concurrency Specification from Test Executions.

Pablo González de Aledo MarugánÁlvaro Díaz SuárezPablo Sánchez EspesoRalf Huuck
Published in: VST@SANER (2016)
Keyphrases
  • database systems
  • test data
  • concurrency control
  • real time
  • data mining
  • user defined
  • bayesian networks
  • test cases
  • specification language
  • database transactions