3424 search results - page 291 / 685 » Automated Testing of Classes |
188
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
208
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
195
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
182
Voted
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
202
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...