3792 search results - page 250 / 759 » Techniques for Trusted Software Engineering |
152
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
165
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
149
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
The prediction of fault-prone modules in a software project has been the topic of many studies. In this paper, we investigate whether metrics available early in the development li...
175
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
185
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...