Sciweavers

2132 search results - page 12 / 427
» Automated software winnowing
Sort
View
92
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
Automated size analysis for OCL
Fang Yu, Tevfik Bultan, Erik Peterson
SIGSOFT
2007
ACM
16 years 4 months ago
Automated testing of refactoring engines
Brett Daniel, Danny Dig, Kely Garcia, Darko Marino...
84
Voted
ASWEC
2008
IEEE
15 years 10 months ago
Automated Usability Testing Using HUI Analyzer
Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren
95
Voted
FASE
2005
Springer
15 years 9 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...
131
Voted
KBSE
2003
IEEE
15 years 8 months ago
SPQR: Flexible Automated Design Pattern Extraction From Source Code
Jason McC. Smith, P. David Stotts