Sciweavers

8398 search results - page 43 / 1680

» Optimal Software Testing

97

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 6 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

86

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 6 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

85

ICSM
1998
IEEE

79views Software Engineering» more ICSM 1998»

Dynamic Model for Maintenance and Testing Effort

15 years 6 months ago

Dynamic Model for Maintenance and Testing Effort

Download web.soccerlab.polymtl.ca

F. Calzolari, Paolo Tonella, Giuliano Antoniol

claim paper

Read More »

84

KBSE
1998
IEEE

91views Software Engineering» more KBSE 1998»

Testing using Log File Analysis: Tools, Methods, and Issues

15 years 6 months ago

Testing using Log File Analysis: Tools, Methods, and Issues

Download www.kiv.zcu.cz

J. Andrews

claim paper

Read More »

79

Voted

COMPSAC
2007
IEEE

123views Software Engineering» more COMPSAC 2007»

Test Automation in Practice

15 years 6 months ago

Test Automation in Practice

Download swerl.tudelft.nl

Rajesh Subramanyan

claim paper

Read More »

« Prev « First page 43 / 1680 Last » Next »