4930 search results - page 120 / 986 » Testing a Safety-Critical Application |
126
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
167
Voted
IJCAI
2007
15 years 7 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
172
Voted
ET
2002
15 years 6 months ago
2002
We propose an integrated framework for the design of SOC test solutions, which includes a set of algorithms for early design space exploration as well as extensive optimization for...
163
Voted
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...
165
click to vote
ENTCS
2010
15 years 1 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...