631 search results - page 54 / 127 » Producing reliable software: an experiment |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
SIGSOFT
2009
ACM
14 years 2 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...
WCRE
2003
IEEE
14 years 28 days ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
METRICS
1999
IEEE
13 years 12 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...
AAAI
1998
13 years 9 months ago
1998
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...