Sciweavers

4276 search results - page 215 / 856
» Techniques for Empirical Validation
Sort
View
ICST
2011
IEEE
14 years 10 months ago
Tailored Shielding and Bypass Testing of Web Applications
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, B...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Improving Web Application Testing with User Session Data
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
Sebastian G. Elbaum, Srikanth Karre, Gregg Rotherm...
INFOCOM
2003
IEEE
15 years 12 months ago
Server-based Inference of Internet Link Lossiness
— We investigate the problem of inferring the packet loss characteristics of Internet links using server-based measurements. Unlike much of existing work on network tomography th...
Venkata N. Padmanabhan, Lili Qiu, Helen J. Wang
TSE
2010
161views more  TSE 2010»
15 years 5 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
DAC
2003
ACM
16 years 7 months ago
An adaptive window-based susceptance extraction and its efficient implementation
The determination of the set (or window) of segments that are inductively coupled to a significant degree with a given segment plays a fundamental role in window-based techniques ...
Guoan Zhong, Cheng-Kok Koh, Venkataramanan Balakri...