1128 search results - page 174 / 226 » Little Engines of Proof |
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
106
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
126
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
123
Voted
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Although Web search engines are targeted towards helping people find new information, people regularly use them to re-find Web pages they have seen before. Researchers have noted ...