8398 search results - page 1093 / 1680 » Optimal Software Testing |
199
click to vote
ERLANG
2004
ACM
16 years 21 days 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...
194
click to vote
ISSTA
2004
ACM
16 years 21 days 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...
182
click to vote
PLDI
2004
ACM
16 years 21 days 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...
194
click to vote
EDBTW
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...
233
click to vote
FASE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...