Search Sciweavers | Sciweavers

15777 search results - page 150 / 3156

» The Reformulation-Optimization Software Engine

click to vote

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

14 years 13 days ago

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

click to vote

ESEC
1999
Springer

142views Software Engineering» more ESEC 1999»

The Concept of Dynamic Analysis

14 years 13 days ago

Download www.cs.arizona.edu

Thomas Ball

claim paper

Read More »

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

14 years 13 days ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

ESEC
1999
Springer

113views Software Engineering» more ESEC 1999»

Efficient Points-to Analysis for Whole-Program Analysis

14 years 13 days ago

Download www.cs.colostate.edu

Donglin Liang, Mary Jean Harrold

claim paper

Read More »

click to vote

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

14 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers