Manfred Widera Flow graphs for testing sequential Erlang programs. 48-53 2004 conf/erlang/2004 Erlang Workshop http://doi.acm.org/10.1145/1022471.1022479 db/conf/erlang/erlang2004.html#Widera04