615 search results - page 39 / 123 » Automated Test Case Generation from Dynamic Models |
88
Voted
DAC
2000
ACM
15 years 10 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
81
Voted
ISCIS
2004
Springer
15 years 3 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
CICLING
2010
Springer
15 years 4 months ago
2010
Springer
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. In this paper we present a Generativ...
105
click to vote
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
100
Voted
IDA
1999
Springer
15 years 1 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...