Works matching IS 14332779 AND DT 2008 AND VI 10 AND IP 6
Results: 5
Modeling and proving functional completeness in formal verification of counting heads.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 521, doi. 10.1007/s10009-008-0084-z
- By:
- Publication type:
- Article
Special section on testing and security of Web systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 473, doi. 10.1007/s10009-008-0085-y
- By:
- Publication type:
- Article
A case study-based comparison of web testing techniques applied to AJAX web applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 477, doi. 10.1007/s10009-008-0086-x
- By:
- Publication type:
- Article
Automated verification of access control policies using a SAT solver.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 503, doi. 10.1007/s10009-008-0087-9
- By:
- Publication type:
- Article
Healing Web applications through automatic workarounds.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 493, doi. 10.1007/s10009-008-0088-8
- By:
- Publication type:
- Article