615 search results - page 63 / 123 » Research in software engineering: an analysis of the literat... |
137
click to vote
ICST
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
194
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
187
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
172
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...
219
click to vote
AC
1992
Springer
15 years 10 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...