122
Voted
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the...
130
click to vote
SASO
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—This paper presents PeerMatcher, a fully decentralized algorithm solving the k-clique matching problem. The aim of k-clique matching is to cluster a set of nodes having ...
SASO
2015
IEEE
9 years 11 months ago
2015
IEEE
—BINSURGEON is a binary rewriting system that enhances stripped binary executables with repairs, defenses, and additional functionality. This involves making spaceconsuming chang...
101
click to vote
SASO
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—Wireless sensor networks usually operate in dynamic, stochastic environments. While the behaviour of individual nodes is important, they are better seen as contributors ...
SASO
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract—Systems of “building block” algorithms can guarantee that self-organizing systems eventually converge to a predictable state [1], [2], but what of their dynamical be...