112
Voted
CCS
2015
ACM
10 years 2 months ago
2015
ACM
We provide a formal treatment of security of digital signatures against subversion attacks (SAs). Our model of subversion generalizes previous work in several directions, and is i...
811
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
—SimNav is a GUI designed for displaying and navigating clone classes of Simulink models detected by the model clone detector Simone. As an embedded Simulink interface tool, SimN...
813
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
804
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
Abstract—Exception handling (EH) is a well-known mechanism that aims at improving software reliability in a modular way—allowing a better separation between the code that deals...
827
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
—The graphical representations of software (code visualization in particular) may provide both professional programmers and students learning only the basics with support in prog...
795
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
—Although open source distributions like Debian and Ubuntu are closely related, sometimes a bug reported in the Debian bug repository is reported independently in the Ubuntu repo...
816
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
—Observation-based slicing is a recently-introduced, language-independent slicing technique based on the dependencies observable from program behaviour. Due to the well-known lim...
834
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
—We present an approach to detect function purity in JavaScript. A function is pure if none of its applications cause observable side-effects. The approach is based on a pushdown...
822
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
814
Voted
SCAM
2015
IEEE
10 years 2 months ago
2015
IEEE
Abstract—Code clone visualizations (CCVs) are graphical representations of clone detection results provided by various stateof-the-art command line and graphical analysis tools. ...