Search Sciweavers | Sciweavers

5668 search results - page 140 / 1134

» The case for software evolution

152

click to vote

SIGSOFT
2007
ACM

128views Software Engineering» more SIGSOFT 2007»

Contract driven development = test driven development - writing test cases

16 years 7 months ago

Download groups.csail.mit.edu

Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...

claim paper

Read More »

131

click to vote

ICSE
2005
IEEE-ACM

139views Software Engineering» more ICSE 2005»

A case study on the automated verification of groupware protocols

16 years 6 months ago

Download fmt.isti.cnr.it

Maurice H. ter Beek, Mieke Massink, Diego Latella,...

claim paper

Read More »

120

click to vote

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

15 years 11 months ago

Download www.irisa.fr

Clémentine Nebut, Simon Pickin, Yves Le Tra...

claim paper

Read More »

186

click to vote

ISSRE
2002
IEEE

79views Software Engineering» more ISSRE 2002»

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment

15 years 11 months ago

Download www.irisa.fr

Benoit Baudry, Franck Fleurey, Jean-Marc Jé...

claim paper

Read More »

131

click to vote

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers