712 search results - page 31 / 143 » Software debugging, testing, and verification |
157
click to vote
ISSTA
2009
ACM
16 years 13 days ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
166
click to vote
AADEBUG
2005
Springer
15 years 11 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
149
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
148
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
167
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...