Sciweavers

1406 search results - page 137 / 282
» Similarity in Programs
Sort
View
129
Voted
ISSTA
2010
ACM
15 years 7 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov
130
Voted
ISCAPDCS
2004
15 years 5 months ago
An Open Digest-based Technique for Spam Detection
A promising anti-spam technique consists in collecting users opinions that given email messages are spam and using this collective judgment to block message propagation to other u...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
149
Voted
GPCE
2004
Springer
15 years 9 months ago
Taming Macros
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
Ryan Culpepper, Matthias Felleisen
118
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
Multiple mass-market applications as components
Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many sy...
David Coppit, Kevin J. Sullivan
COMMA
2006
15 years 5 months ago
Semi-Stable Semantics
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
Martin Caminada