Sciweavers

22698 search results - page 355 / 4540

» Modeling in Software Engineering

164

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 »

146

Voted

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 »

150

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 »

156

Voted

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 11 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

155

Voted

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

15 years 11 months ago

Equational Properties of Mobile Ambients

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

« Prev « First page 355 / 4540 Last » Next »