3547 search results - page 562 / 710 » Pseudo-Exhaustive Testing for Software |
126
click to vote
ICSEA
2007
IEEE
16 years 25 days ago
2007
IEEE
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
172
click to vote
QSIC
2007
IEEE
16 years 24 days 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...
168
click to vote
ROBOCOMM
2007
IEEE
16 years 24 days ago
2007
IEEE
— We describe a system that provides a low-cost, portable control station for experimentation in mobile robotic telesurgery. The software and hardware implementation of our syste...
200
click to vote
ICSEA
2007
IEEE
16 years 23 days 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 ...
178
click to vote
CAV
2007
Springer
16 years 21 days 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...