4930 search results - page 88 / 986 » Testing a Safety-Critical Application |
147
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
159
Voted
MTDT
2003
IEEE
15 years 10 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
129
Voted
AIME
2005
Springer
15 years 10 months ago
2005
Springer
: The automatic application of computerized guidelines and protocols in intensive care is not simple, given the high volume of data which must be processed and the need to offer ad...
134
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
161
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...