[erlang-questions] Call for bugs

Salvador Tamarit stamarit@REDACTED
Tue Jun 24 19:14:43 CEST 2014


Thanks for your answers. They have been very helpful. If you have more
bugs, please send them to us.

Shayan and Anthony, we will add you in the acknowledgements section of a
paper that we are writing about the tool.

Thanks again!
Salvador Tamarit


2014-06-13 17:00 GMT+02:00 Anthony Ramine <n.oxyde@REDACTED>:

> http://erlang.org/pipermail/erlang-bugs/2014-May/004408.html
> https://github.com/nox/otp/commit/a10a7979887403ea61c30155cef18aa7324420a6
>
> --
> Anthony Ramine
>
> Le 13 juin 2014 à 13:57, Salvador Tamarit <stamarit@REDACTED> a
> écrit :
>
> > Hi all,
> >
> > we are working in an alternative debugger for Erlang based on the
> concept of declarative debugging. We have found some difficulties finding
> interesting buggy programs to test our tool, so we think that maybe you all
> can help us in this. We will need examples of buggy functions or modules
> or, if it exits, a place where there is a collection of them. Also any bug
> that you remember that was difficult to solve in order to try to reproduce
> it again in a new program. We are more interested in bugs that Dialyzer
> can't find, because the intention of the tool is to help to find bugs after
> running Dialyzer.
> >
> > Thanks in advance for your collaboration.
> > Salvador Tamarit
> > _______________________________________________
> > erlang-questions mailing list
> > erlang-questions@REDACTED
> > http://erlang.org/mailman/listinfo/erlang-questions
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20140624/1c9e81e9/attachment.htm>


More information about the erlang-questions mailing list