732 search results - page 32 / 147 » Automated Test Generation from Models Based on Functional So... |
120
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
138
click to vote
CIBSE
2009
ACM
15 years 8 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
120
click to vote
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
130
click to vote
CBSE
2005
Springer
15 years 7 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
122
click to vote
JSW
2007
15 years 1 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...