10575 search results - page 1856 / 2115 » Programming Languages |
165
click to vote
KBSE
2007
IEEE
16 years 27 days 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. ...
173
click to vote
DCOSS
2007
Springer
16 years 23 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
184
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
212
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
197
click to vote
MTV
2006
IEEE
16 years 18 days 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...