3544 search results - page 543 / 709 » Software Testing |
QSIC
2007
IEEE
14 years 4 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
ICSEA
2007
IEEE
14 years 4 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...