Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs