3316 search results - page 406 / 664 » Mining Software Engineering Data |
137
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
146
click to vote
UIST
2010
ACM
15 years 26 days ago
2010
ACM
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...
133
click to vote
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Much of what we know about how programmers refactor in the wild is based on studies that examine just a few software projects. Researchers have rarely taken the time to replicate ...
116
click to vote
XPU
2005
Springer
15 years 8 months ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
111
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
The Direct Access File System (DAFS) is a distributed file system built on top of direct-access transports (DAT). Direct-access transports are characterized by using remote direct...