Soter: an automatic safety verifier for erlang.

Emanuele D'Osualdo Jonathan Kochems Luke Ong

Published in: AGERE!@SPLASH (2012)

Keyphrases

semi automatic
fully automatic
databases
three dimensional
data driven
machine learning
website
high level
search algorithm
evolutionary algorithm
medical images