Search Sciweavers | Sciweavers

2132 search results - page 12 / 427

» Automated software winnowing

147

Voted

SIGSOFT
2007
ACM

119views Software Engineering» more SIGSOFT 2007»

Automated size analysis for OCL

16 years 7 months ago

Download www.cs.ucsb.edu

Fang Yu, Tevfik Bultan, Erik Peterson

claim paper

Read More »

133

Voted

SIGSOFT
2007
ACM

148views Software Engineering» more SIGSOFT 2007»

Automated testing of refactoring engines

16 years 7 months ago

Download www.cs.uiuc.edu

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

claim paper

Read More »

123

click to vote

ASWEC
2008
IEEE

111views Software Engineering» more ASWEC 2008»

Automated Usability Testing Using HUI Analyzer

16 years 1 months ago

Download www.cs.umd.edu

Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren

claim paper

Read More »

139

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 19 days ago

Download se.ethz.ch

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

claim paper

Read More »

181

click to vote

KBSE
2003
IEEE

130views Software Engineering» more KBSE 2003»

SPQR: Flexible Automated Design Pattern Extraction From Source Code

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers