439 search results - page 5 / 88 » Identification of Software Instabilities |
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
MSR
2009
ACM
14 years 2 months ago
2009
ACM
Defect prediction is an important task in the mining of software repositories, but the quality of predictions varies strongly within and across software projects. In this paper we...
IWPSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software evolution plays a key role in the overall lifecycle of a software system. In this phase, software developers extend the capabilities and functionality of the system to me...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
VL
1994
IEEE
13 years 11 months ago
1994
IEEE
Dotplot is a technique for visualizing patterns of string matches in millions of lines of text and code. Patterns may be explored interactively or detected automatically. Applicat...