International Journal on Software Tools for Technology Transfer (STTT)

Volume 1 / 1997 - Volume 14 / 2012

Volume 10, Number 6 / December 2008

Viewing all 5 articles

Search within

Title

International Journal on Software Tools for Technology Transfer (STTT)

Coverage

Volume 1 / 1997 - Volume 14 / 2012

Collection

Computer Science

Subjects

ISSN

1433-2779 (Print)
1433-2787 (Online)

Additional Links

Publisher

Springer Berlin / Heidelberg

SpringerLink Date

Friday, April 05, 2002

473-476
Introduction
Special section on testing and security of Web systems
Alessandro Marchetto
- Download PDF (103.3 KB)
477-492
Special Section on WQVV 07
A case study-based comparison of web testing techniques applied to AJAX web applications
Alessandro Marchetto, Filippo Ricca and Paolo Tonella
- Download PDF (594.3 KB)
493-502
Special Section WQVV 07
Healing Web applications through automatic workarounds
Antonio Carzaniga, Alessandra Gorla and Mauro Pezzè
- Download PDF (374.8 KB)
503-520
Special Section on WQVV 07
Automated verification of access control policies using a SAT solver
Graham Hughes and Tevfik Bultan
- Download PDF (1.3 MB)
521-534
Regular Contribution
Modeling and proving functional completeness in formal verification of counting heads
Sebastian Kinder and Rolf Drechsler
- Download PDF (650.2 KB)