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

15 years 6 months 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

15 years 6 months 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

15 years 6 months 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

15 years 6 months 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers