1407 search results - page 57 / 282 » Using Use Cases in Executable Z |
128
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
117
Voted
HPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
158
Voted
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents a controlled experiment comparing the defect detection efficiency of exploratory testing (ET) and test case based testing (TCT). While traditional testing lite...
117
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...