Sciweavers

3544 search results - page 18 / 709

» Software Testing

17

ISSTA
2000
ACM

88views Software Engineering» more ISSTA 2000»

Automated Testing of Classes

13 years 12 months ago

Automated Testing of Classes

Download pleuma.cc.gatech.edu

Ugo A. Buy, Alessandro Orso, Mauro Pezzè

claim paper

Read More »

16

AADEBUG
2000
Springer

89views Software Engineering» more AADEBUG 2000»

Finding Failure Causes through Automated Testing

13 years 12 months ago

Finding Failure Causes through Automated Testing

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

Holger Cleve, Andreas Zeller

claim paper

Read More »

19

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

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

22

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

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

21

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

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