Skip to main content
Department of Information Technology

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.

Publications

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

Updated  2006-12-13 13:49:55 by Paul Pettersson.