Search Sciweavers | Sciweavers

2212 search results - page 15 / 443

» Automated software wrapping

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

14 years 3 months ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

click to vote

KBSE
2003
IEEE

130views Software Engineering» more KBSE 2003»

SPQR: Flexible Automated Design Pattern Extraction From Source Code

14 years 2 months ago

Download rockfish.cs.unc.edu

Jason McC. Smith, P. David Stotts

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

89views Software Engineering» more ICSE 2009»

Automated Testing of a Converged Conferencing Application

14 years 2 months ago

Download ast2009.com

Venkita Subramonian, Eric Cheung, Gerald M. Karam

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

134views Software Engineering» more ICSE 2009»

Automated Test Program Generation for an Industrial Optimizing Compiler

14 years 2 months ago

Download ast2009.com

Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zha...

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

110views Software Engineering» more ICSE 2009»

Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers