Manfred Widera. Flow graphs for testing sequential Erlang programs. In Francesco Cesarini, Philip Wadler, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004. pages 48-53, ACM, 2004. [doi]
Abstract is missing.