Search Sciweavers | Sciweavers

1880 search results - page 6 / 376

» A Static Analysis for Beta-Binders

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 6 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

Software Metrics in Static Program Analysis

13 years 6 months ago

Download www4.in.tum.de

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...

claim paper

Read More »

click to vote

JOT
2008

120views more JOT 2008»

Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis

13 years 6 months ago

Download www.jot.fm

Xiufeng Ni, Cui Zhang

claim paper

Read More »

click to vote

JCS
2010

104views more JCS 2010»

Static analysis for detecting taint-style vulnerabilities in web applications

13 years 6 months ago

Download seclab.tuwien.ac.at

Nenad Jovanovic, Christopher Kruegel, Engin Kirda

claim paper

Read More »

click to vote

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers