346 search results - page 35 / 70 » Automatic Tools for Testing Expert Systems |
ICST
2008
IEEE
14 years 2 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...
SOCO
2009
Springer
14 years 2 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
MEMICS
2010
13 years 2 months ago
2010
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
INTETAIN
2009
Springer
14 years 2 months ago
2009
Springer
News aggregators are widely used to read RSS feeds but they require the user to be in front of a screen. While moving, people usually do not have any display, or very small ones. M...