1813 search results - page 235 / 363 » Measuring the Effectiveness of Software Testing |
BMCBI
2006
14 years 10 months ago
2006
Background: Owing to rapid expansion of protein structure databases in recent years, methods of structure comparison are becoming increasingly effective and important in revealing...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
IUI
2006
ACM
15 years 4 months ago
2006
ACM
Recent interest in the use of software character agents raises the issue of how many agents should be used in online learning. In this paper we review evidence concerning the rela...
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...