7961 search results - page 1117 / 1593 » Input-Output Model Programs |
165
click to vote
KBSE
2007
IEEE
16 years 24 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. ...
165
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
179
click to vote
MEMOCODE
2007
IEEE
16 years 24 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
169
click to vote
QSIC
2007
IEEE
16 years 24 days ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
133
click to vote
SCAM
2007
IEEE
16 years 24 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...