Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

@article{Angelis2018BoundedSE,
  title={Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs},
  author={Emanuele De Angelis and Fabio Fioravanti and Adri{\'a}n Palacios and Alberto Pettorossi and Maurizio Proietti},
  journal={CoRR},
  year={2018},
  volume={abs/1809.04770},
  pages={19-26}
}
  • Emanuele De Angelis, Fabio Fioravanti, +2 authors Maurizio Proietti
  • Published in HCVS 2018
  • Computer Science
  • CoRR
  • Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed languages, where many runtime errors can be detected at compile time. In this paper, we present a preliminary work on a tool that, by using the well-known techniques of metaprogramming and symbolic execution, can be used to perform bounded… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    2
    Twitter Mentions

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 16 REFERENCES

    Constraint Logic Programming: A Survey

    VIEW 13 EXCERPTS
    HIGHLY INFLUENTIAL

    An iterative approach to precondition inference using constrained Horn clauses

    VIEW 1 EXCERPT

    Predicate Pairing for Program Verification

    VIEW 1 EXCERPT