10715 search results - page 291 / 2143 » Proofs from Tests |
152
click to vote
FATES
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
172
click to vote
FASE
2004
Springer
16 years 3 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
173
click to vote
ISCIS
2004
Springer
16 years 3 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
210
click to vote
ISSRE
2003
IEEE
16 years 8 hour ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
206
click to vote
APAQS
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...