Sciweavers

16790 search results - page 208 / 3358

» A Future for Software Engineering

28

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

14 years 1 months ago

Automatic Generation of Test Oracles-From Pilot Studies to Application

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

24

ESEC
1999
Springer

142views Software Engineering» more ESEC 1999»

The Concept of Dynamic Analysis

14 years 1 months ago

The Concept of Dynamic Analysis

Download www.cs.arizona.edu

Thomas Ball

claim paper

Read More »

30

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

14 years 1 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

23

ESEC
1999
Springer

113views Software Engineering» more ESEC 1999»

Efficient Points-to Analysis for Whole-Program Analysis

14 years 1 months ago

Efficient Points-to Analysis for Whole-Program Analysis

Download www.cs.colostate.edu

Donglin Liang, Mary Jean Harrold

claim paper

Read More »

14

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

14 years 1 months ago

Process Modelling Languages

Download www.tml.tkk.fi

Reidar Conradi, Maria Letizia Jaccheri

claim paper

Read More »

« Prev « First page 208 / 3358 Last » Next »