6348 search results - page 361 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
144
click to vote
COMPSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...
128
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
145
click to vote
SEKE
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
139
click to vote
AC
2005
Springer
15 years 4 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
141
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...