Search Sciweavers | Sciweavers

2700 search results - page 9 / 540

» The role of abstraction in software engineering

click to vote

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

15 years 6 months ago

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

15 years 5 months ago

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 5 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

click to vote

KBSE
2005
IEEE

88views Software Engineering» more KBSE 2005»

Test input generation for red-black trees using abstraction

15 years 5 months ago

Download www.fi.muni.cz

Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...

claim paper

Read More »

click to vote

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers