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

• Bengt Jonsson
• Johan Blom

Publications

[[OPUS personid=johan;sort=publicationdate;fields=authors,howpublished;style=bullet;max=40]]