Sciweavers

15951 search results - page 170 / 3191

» Lawful software engineering

151

Voted

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

15 years 11 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 »

132

ESEC
1999
Springer

142views Software Engineering» more ESEC 1999»

The Concept of Dynamic Analysis

15 years 11 months ago

The Concept of Dynamic Analysis

Download www.cs.arizona.edu

Thomas Ball

claim paper

Read More »

145

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 11 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

134

Voted

ESEC
1999
Springer

113views Software Engineering» more ESEC 1999»

Efficient Points-to Analysis for Whole-Program Analysis

15 years 11 months ago

Efficient Points-to Analysis for Whole-Program Analysis

Download www.cs.colostate.edu

Donglin Liang, Mary Jean Harrold

claim paper

Read More »

99

Voted

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

15 years 11 months ago

Process Modelling Languages

Download www.tml.tkk.fi

Reidar Conradi, Maria Letizia Jaccheri

claim paper

Read More »

« Prev « First page 170 / 3191 Last » Next »