Search Sciweavers | Sciweavers

2132 search results - page 12 / 427

» Automated software winnowing

click to vote

SIGSOFT
2007
ACM

119views Software Engineering» more SIGSOFT 2007»

Automated size analysis for OCL

14 years 10 months ago

Download www.cs.ucsb.edu

Fang Yu, Tevfik Bultan, Erik Peterson

claim paper

Read More »

click to vote

SIGSOFT
2007
ACM

148views Software Engineering» more SIGSOFT 2007»

Automated testing of refactoring engines

14 years 10 months ago

Download www.cs.uiuc.edu

Brett Daniel, Danny Dig, Kely Garcia, Darko Marino...

claim paper

Read More »

click to vote

ASWEC
2008
IEEE

111views Software Engineering» more ASWEC 2008»

Automated Usability Testing Using HUI Analyzer

14 years 4 months ago

Download www.cs.umd.edu

Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers