Search Sciweavers | Sciweavers

15777 search results - page 98 / 3156

» Software Engineering

click to vote

KBSE
2005
IEEE

74views Software Engineering» more KBSE 2005»

Constraint-based test data generation in the presence of stack-directed pointers

15 years 3 months ago

Download www.irisa.fr

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

claim paper

Read More »

click to vote

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 3 months ago

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

click to vote

KBSE
2005
IEEE

94views Software Engineering» more KBSE 2005»

A component model for internet-scale applications

15 years 3 months ago

Download www.cs.brown.edu

Steven P. Reiss

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 3 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

click to vote

KBSE
2005
IEEE

150views Software Engineering» more KBSE 2005»

UMLDiff: an algorithm for object-oriented design differencing

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers