1813 search results - page 267 / 363 » Measuring the Effectiveness of Software Testing |
ROBOCOMM
2007
IEEE
14 years 4 months 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...
CAV
2007
Springer
14 years 3 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...
UML
2001
Springer
14 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
ICDCS
2012
IEEE
12 years 3 days ago
2012
IEEE
Abstract—Virtualized cloud systems are prone to performance anomalies due to various reasons such as resource contentions, software bugs, and hardware failures. In this paper, we...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...