"HotCI: An automated tool for reliable software upgrade/downgrade in Erlang OTP" [pdf]

webperso.info.ucl.ac.be