Search Sciweavers | Sciweavers

2132 search results - page 31 / 427

» Automated software winnowing

click to vote

SIGSOFT
2009
ACM

165views Software Engineering» more SIGSOFT 2009»

Automated security testing of web widget interactions

14 years 10 months ago

Download swerl.tudelft.nl

Cor-Paul Bezemer, Ali Mesbah, Arie van Deursen

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

14 years 9 months ago

Download fmt.isti.cnr.it

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

claim paper

Read More »

click to vote

ICSE
2005
IEEE-ACM

136views Software Engineering» more ICSE 2005»

One evaluation of model-based testing and its automation

14 years 9 months ago

Download www.inf.ethz.ch

Alexander Pretschner, Wolfgang Prenninger, Stefan ...

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

14 years 3 months ago

Download www.irisa.fr

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

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers