3547 search results - page 566 / 710 » Pseudo-Exhaustive Testing for Software |
176
click to vote
HIPEAC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
145
click to vote
RE
2005
Springer
16 years 10 hour ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
164
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
163
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
154
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...