572 search results - page 48 / 115 » Functional Test Generation using Constraint Logic Programmin... |
139
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
97
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
102
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
130
click to vote
VTS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
106
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...