Sciweavers

2127 search results - page 6 / 426
» Software Automation
Sort
View
SIGSOFT
2007
ACM
15 years 10 months ago
Automated size analysis for OCL
Fang Yu, Tevfik Bultan, Erik Peterson
53
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
Automated testing of refactoring engines
Brett Daniel, Danny Dig, Kely Garcia, Darko Marino...
ASWEC
2008
IEEE
15 years 4 months ago
Automated Usability Testing Using HUI Analyzer
Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren
FASE
2005
Springer
15 years 3 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...