Search Sciweavers | Sciweavers

5668 search results - page 140 / 1134

» The case for software evolution

101

click to vote

SIGSOFT
2007
ACM

128views Software Engineering» more SIGSOFT 2007»

Contract driven development = test driven development - writing test cases

16 years 2 months ago

Download groups.csail.mit.edu

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

claim paper

Read More »

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 2 months ago

Download fmt.isti.cnr.it

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

claim paper

Read More »

click to vote

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

15 years 7 months ago

Download www.irisa.fr

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

claim paper

Read More »

142

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 6 months ago

Download www.irisa.fr

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

claim paper

Read More »

click to vote

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers