12745 search results - page 163 / 2549 » Automating test automation |
155
click to vote
WCE
2007
15 years 6 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
167
Voted
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
130
click to vote
DSD
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
144
click to vote
ISVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
Re-using the network in a NoC-based system as a test access mechanism is an attractive solution as pointed out by several authors. As a consequence, testing of NoC-based SoCs is b...
151
click to vote
JAR
2008
15 years 5 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...