630 search results - page 116 / 126 » Sameness: An Experiment in Code Search |
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
The discovery of biclusters, which denote groups of items that show coherent values across a subset of all the transactions in a data set, is an important type of analysis perform...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Various data mining applications involve data objects of multiple types that are related to each other, which can be naturally formulated as a k-partite graph. However, the resear...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...