5855 search results - page 50 / 1171 » Test generation and minimization with |
123
click to vote
IJCAI
2007
15 years 2 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...
127
click to vote
JOT
2010
14 years 11 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
167
click to vote
PTS
2010
14 years 11 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
121
click to vote
ENTCS
2010
14 years 8 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...
138
click to vote
MTV
2006
IEEE
15 years 7 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...