Department of Information Technology

Recent Trends in Program Analysis, Verification, and Testing

A reading course on recent trends in program analysis, verification and testing will be organised in the group Testing of Reactive Systems Group. Other interested Ph.D. students and researchers are most welcome to participate and suggest papers! Ph.D. students can take the course for credit points.


Future Papers

Please suggest papers to be read in future seminars by editing this list (please include links to papers):

Updated  2006-11-20 14:47:15 by Paul Pettersson.