Sciweavers

438 search results - page 74 / 88
» Bugs in the programs
Sort
View
DOCENG
2009
ACM
15 years 10 months ago
On the analysis of queries with counting constraints
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
Everardo Bárcenas, Pierre Genevès, N...
WCRE
2007
IEEE
15 years 10 months ago
Quality Assessment Based on Attribute Series of Software Evolution
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...
Jacek Ratzinger, Harald Gall, Martin Pinzger
146
Voted
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 10 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
APSEC
2005
IEEE
15 years 9 months ago
CoxR: Open Source Development History Search System
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
Makoto Matsushita, Kei Sasaki, Katsuro Inoue
MSR
2010
ACM
15 years 9 months ago
Mining Challenge 2010: FreeBSD, GNOME Desktop and Debian/Ubuntu
Abstract—In a young field, such as Mining Software Repositories (MSR), there is always a call for benchmarks so that researchers can compare their results against others. Thus i...
Abram Hindle, Israel Herraiz, Emad Shihab, Zhen Mi...