Sciweavers

SIGSOFT   2000 Foundations of Software Engineering
Wall of Fame | Most Viewed SIGSOFT-2000 Paper
SIGSOFT
2000
ACM
13 years 8 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source130
2Download preprint from source127
3Download preprint from source118
4Download preprint from source102
5Download preprint from source96
6Download preprint from source95
7Download preprint from source92
8Download preprint from source92
9Download preprint from source91
10Download preprint from source91
11Download preprint from source90
12Download preprint from source87
13Download preprint from source79
14Download preprint from source79
15Download preprint from source77
16Download preprint from source77
17Download preprint from source75