Software Engineering

31

SCAM
2008
IEEE

106views Software Engineering» more SCAM 2008»

The Evolution and Decay of Statically Detected Source Code Vulnerabilities

14 years 6 months ago

The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...

Massimiliano Di Penta, Luigi Cerulo, Lerina Aversa...

claim paper

Read More »

29

click to vote

SCAM
2008
IEEE

102views Software Engineering» more SCAM 2008»

Beyond Annotations: A Proposal for Extensible Java (XJ)

14 years 6 months ago

Download itcentre.tvu.ac.uk

Tony Clark, Paul Sammut, James S. Willans

claim paper

Read More »

31

click to vote

SCAM
2008
IEEE

91views Software Engineering» more SCAM 2008»

Constructing Subtle Faults Using Higher Order Mutation Testing

14 years 6 months ago

Download www.dcs.kcl.ac.uk

Traditional mutation testing considers only ﬁrst order mutants, created by the injection of a single fault. Often these ﬁrst order mutants denote trivial faults that are easil...

Yue Jia, Mark Harman

claim paper

Read More »

34

click to vote

SCAM
2008
IEEE

101views Software Engineering» more SCAM 2008»

Parfait - A Scalable Bug Checker for C Code

14 years 6 months ago

Download www.dcs.kcl.ac.uk

Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...

Cristina Cifuentes

claim paper

Read More »

27

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

14 years 6 months ago

Download alexandria.tue.nl

Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...

claim paper

Read More »

22

click to vote

QSIC
2008
IEEE

90views Software Engineering» more QSIC 2008»

Model-Based Quality Assurance of the SMB2 Protocol Documentation

14 years 6 months ago

Download www.snia.org

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...

claim paper

Read More »

27

click to vote

QSIC
2008
IEEE

102views Software Engineering» more QSIC 2008»

Testing in the Distributed Test Architecture: An Extended Abstract

14 years 6 months ago

Download bura.brunel.ac.uk

Robert M. Hierons

claim paper

Read More »

30

click to vote

QSIC
2008
IEEE

111views Software Engineering» more QSIC 2008»

Fault Localization with Non-parametric Program Behavior Model

14 years 6 months ago

Download hub.hku.hk

Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...

Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. T...

claim paper

Read More »

29

click to vote

QSIC
2008
IEEE

107views Software Engineering» more QSIC 2008»

Using Machine Learning to Refine Black-Box Test Specifications and Test Suites

14 years 6 months ago

Download squall.sce.carleton.ca

In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...

Lionel C. Briand, Yvan Labiche, Zaheer Bawar

claim paper

Read More »

30

click to vote

QSIC
2008
IEEE

100views Software Engineering» more QSIC 2008»

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)

14 years 6 months ago