6800 search results - page 89 / 1360 » Testing with Functions as Specifications |
IEEEPACT
2009
IEEE
14 years 2 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
WOODPECKER
2001
13 years 9 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
How fast is the network? The speed at which real users can download content at different locations and at different times is an important metric for service providers. Knowledge o...
I3E
2001
13 years 9 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...