7766 search results - page 210 / 1554 » Testing Nondeterminate Systems |
149
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
88
Voted
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
117
Voted
PTS
2007
15 years 4 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
147
Voted
JOT
2010
15 years 1 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
109
Voted
TACAS
2010
Springer
15 years 14 days ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...