Java memory model aware software validation.

Arnab De Abhik Roychoudhury Deepak D'Souza

Published in: PASTE (2008)

Keyphrases

probabilistic model
high level
prior knowledge
cost function
computational model
experimental data
hidden markov models
probability distribution
learning algorithm
web services
case study
multi agent systems
management system
software development
theoretical analysis
software systems