Dynamic Validation of Contracts in Concurrent Code.

Jan Fiedor Zdenek Letko João Lourenço Tomá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