Sciweavers

4079 search results - page 26 / 816

» Differential Testing for Software

17

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 »

22

ICSM
1998
IEEE

79views Software Engineering» more ICSM 1998»

Dynamic Model for Maintenance and Testing Effort

13 years 11 months ago

Dynamic Model for Maintenance and Testing Effort

Download web.soccerlab.polymtl.ca

F. Calzolari, Paolo Tonella, Giuliano Antoniol

claim paper

Read More »

« Prev « First page 26 / 816 Last » Next »