2897 search results - page 208 / 580 » Test Case Integration: From Components to Systems |
131
click to vote
IADIS
2003
15 years 5 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
121
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
133
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
126
Voted
ACL
2008
15 years 5 months ago
2008
Chinese abbreviations are widely used in modern Chinese texts. Compared with English abbreviations (which are mostly acronyms and truncations), the formation of Chinese abbreviati...
156
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...