Search Sciweavers | Sciweavers

3667 search results - page 11 / 734

» Software Rejuvenation - Modeling and Analysis

Voted

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 9 months ago

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

108

click to vote

PASTE
2005
ACM

120views Software Engineering» more PASTE 2005»

A concept analysis inspired greedy algorithm for test suite minimization

15 years 9 months ago

Download groups.csail.mit.edu

Sriraman Tallam, Neelam Gupta

claim paper

Read More »

100

click to vote

PASTE
2005
ACM

74views Software Engineering» more PASTE 2005»

Link-time static analysis for efficient separate compilation of object-oriented languages

15 years 9 months ago

Download groups.csail.mit.edu

Jean Privat, Roland Ducournau

claim paper

Read More »

118

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 9 months ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

123

Voted

FASE
2005
Springer

112views Software Engineering» more FASE 2005»

Tools for Secure Systems Development with UML: Security Analysis with ATPs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers