Syntactic reductions for efficient deadlock analysis.

Nicoletta De Francesco Antonella Santone

Published in: Softw. Test. Verification Reliab. (2002)

Keyphrases

real time
data mining
data analysis
evolutionary algorithm
statistical analysis
automatic analysis
data sets
neural network
relational databases
artificial neural networks
higher level
lightweight
computationally expensive
quantitative analysis