280 search results - page 21 / 56 » Generating Regression Tests via Model Checking |
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
114
click to vote
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
82
Voted
COLT
1995
Springer
15 years 1 months ago
1995
Springer
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
91
Voted
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...