Sciweavers

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