Cloud9 je zaujímavý projekt Technickej Univerzity v Lausanne, Švajčiarsko. Je to platforma na automatické testovanie aplikácií postavená na symbolickom vykonávaní kódu. Článok je dostupný na adrese dslab.epfl.ch [PDF] a analyzuje výsledky testov nasledujúcich aplikácií: UNIX Core Utilities, Curl, Memcached, Lightttpd, Bandicoot.