Search Sciweavers | Sciweavers

2700 search results - page 4 / 540

» The role of abstraction in software engineering

129

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 11 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

147

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 11 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

121

click to vote

ICSE
2008
IEEE-ACM

99views Software Engineering» more ICSE 2008»

Model-driven configuration of os-level mandatory access control: research abstract

16 years 6 months ago

Download qe-informatik.uibk.ac.at

Berthold Agreiter

claim paper

Read More »

131

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

16 years 25 days ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

130

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers