1399 search results - page 68 / 280 » Verification of Test Suites |
136
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
145
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
132
click to vote
JUCS
2006
15 years 4 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
111
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
105
click to vote
ITC
1999
IEEE
15 years 8 months ago
1999
IEEE
Static Component Interconnection Test Technology (SCITT) is a new XNOR circuit based technology that is used for board-level interconnection test. SCITT provides an easy test meth...