Bounded symbolic execution for runtime error detection of Erlang programs