Symbolic Testing of Erlang Programs
The goal of this project is to develop new and enhance existing techniques for Erlang programs.
The project is carried out by members of Uppsala's testing group. Please consult this page for information on group meetings, seminars, and our further activities.
Members
Publications
[[OPUS personid=johan;sort=publicationdate;fields=authors,howpublished;style=bullet;max=40]]