63 search results - page 7 / 13 » A State Exploration-Based Approach to Testing Java Monitors |
JCP
2008
14 years 11 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
85
Voted
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
109
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
TSE
2010
14 years 10 months ago
2010
—Voting is the process through which a democratic society determines its government. Therefore, voting systems are as important as other well-known critical systems, such as air ...
100
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...