Calysto: scalable and precise extended static checking.

Domagoj Babic Alan J. Hu

Published in: ICSE (2008)

Keyphrases

highly scalable
memory efficient
information retrieval
artificial intelligence
social networks
case study
cooperative
probabilistic model
lightweight