10396 search results - page 341 / 2080 » Testing Web Applications |
185
click to vote
ICCSA
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In this paper a methodology and a framework for personalized views on data available on the World Wide Web are proposed. We describe its main two ingredients, Web data ex...
211
click to vote
ENTCS
2006
15 years 7 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
194
click to vote
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
204
click to vote
COMPSAC
2002
IEEE
16 years 11 days ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
242
click to vote
FM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...