4166 search results - page 125 / 834 » Automating the constraining process |
WWW
2007
ACM
15 years 10 months ago
2007
ACM
This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated ...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
GCC
2003
Springer
15 years 3 months ago
2003
Springer
: Detection of instances of design patterns is useful for the software maintenance. This paper proposes a new framework for the automated detection of instances of design patterns....
FCCM
1999
IEEE
15 years 2 months ago
1999
IEEE
A significant obstacle to the widespread adoption of FPGAbased configurable computing hardware has been the difficulty of mapping applications onto this hardware. We are developin...
HICSS
2009
IEEE
15 years 1 months ago
2009
IEEE
Automated acceptance testing is a new and promising agile testing approach. Fit is the most established technical framework for specifying and executing acceptance tests which, id...