Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
Automated systematic testing for constraint-based interactive services
Patrice Godefroid
,
Lalita Jategaonkar Jagadeesan
,
Radha Jagadeesan
,
Konstantin Läufer
January, 2000
Cite
DOI
URL
Type
Conference paper
Publication
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings
Cite
×