SyncGen: An Aspect-Oriented Framework for Synchronization.

Xianghua Deng Matthew B. Dwyer John Hatcliff Masaaki Mizuno

Published in: TACAS (2004)

Keyphrases

aspect oriented
theoretical framework
data sets
neural network
main contribution
database
website
database systems
probabilistic model
bayesian framework