Sciweavers

3544 search results - page 18 / 709

» Software Testing

70

ISSTA
2000
ACM

88views Software Engineering» more ISSTA 2000»

Automated Testing of Classes

15 years 2 months ago

Automated Testing of Classes

Download pleuma.cc.gatech.edu

Ugo A. Buy, Alessandro Orso, Mauro Pezzè

claim paper

Read More »

56

Voted

AADEBUG
2000
Springer

89views Software Engineering» more AADEBUG 2000»

Finding Failure Causes through Automated Testing

15 years 2 months ago

Finding Failure Causes through Automated Testing

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

Holger Cleve, Andreas Zeller

claim paper

Read More »

74

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

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

66

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

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

60

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

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