Sign in

Dynamic Validation of Contracts in Concurrent Code.

Jan FiedorZdenek LetkoJoão LourençoTomás Vojnar
Published in: EUROCAST (2015)
Keyphrases
  • supply chain
  • neural network
  • source code
  • dynamic environments
  • e learning
  • concurrent programs
  • database
  • machine learning
  • error correction
  • dynamically changing
  • dynamic analysis
  • dynamically created