Sciweavers

3544 search results - page 18 / 709

» Software Testing

131

ISSTA
2000
ACM

88views Software Engineering» more ISSTA 2000»

Automated Testing of Classes

15 years 10 months ago

Automated Testing of Classes

Download pleuma.cc.gatech.edu

Ugo A. Buy, Alessandro Orso, Mauro Pezzè

claim paper

Read More »

129

Voted

AADEBUG
2000
Springer

89views Software Engineering» more AADEBUG 2000»

Finding Failure Causes through Automated Testing

15 years 10 months ago

Finding Failure Causes through Automated Testing

Download www.infosun.fim.uni-passau.de

Holger Cleve, Andreas Zeller

claim paper

Read More »

142

Voted

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

15 years 10 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

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 10 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

131

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 10 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

« Prev « First page 18 / 709 Last » Next »