https://deepai.org/publication/bounded-symbolic-execution-for-runtime-error-detection-of-erlang-programs
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs | DeepAI
Sep 13, 2018 - 09/13/18 - Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type informa...
runtime error detectionsymbolic executionbounded