Search Sciweavers | Sciweavers

2132 search results - page 12 / 427

» Automated software winnowing

Voted

SIGSOFT
2007
ACM

119views Software Engineering» more SIGSOFT 2007»

Automated size analysis for OCL

16 years 3 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

16 years 3 months ago

Download www.cs.uiuc.edu

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

claim paper

Read More »

Voted

ASWEC
2008
IEEE

111views Software Engineering» more ASWEC 2008»

Automated Usability Testing Using HUI Analyzer

15 years 9 months ago

Download www.cs.umd.edu

Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren

claim paper

Read More »

Voted

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 8 months ago

Download se.ethz.ch

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

claim paper

Read More »

124

Voted

KBSE
2003
IEEE

130views Software Engineering» more KBSE 2003»

SPQR: Flexible Automated Design Pattern Extraction From Source Code

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers