Search Sciweavers | Sciweavers

2127 search results - page 6 / 426

» Software Automation

click to vote

ISPW
2005
IEEE

109views Software Engineering» more ISPW 2005»

Software Testing Process Automation Based on UTP - A Case Study

15 years 7 months ago

Download www.icsp-conferences.org

Wei Chen, Qun Ying, Yunzhi Xue, Chen Zhao

claim paper

Read More »

click to vote

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 »

click to vote

ASWEC
2008
IEEE

111views Software Engineering» more ASWEC 2008»

Automated Usability Testing Using HUI Analyzer

15 years 8 months ago

Download www.cs.umd.edu

Simon Baker, Fiora Au, Gillian Dobbie, Ian Warren

claim paper

Read More »

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers