Sciweavers

568 search results - page 21 / 114
» FAST - An Automatic Generation System for Grammar Tests
Sort
View
70
Voted
ET
2007
65views more  ET 2007»
14 years 9 months ago
RF Testing on a Mixed Signal Tester
In this paper, testing of radio frequency (RF) devices with mixed-signal testers is discussed. General purpose automatic test equipment (ATE) will be used for this. A global posit...
Dana Brown, John Ferrario, Randy Wolf, Jing Li, Ja...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 2 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
KBSE
1998
IEEE
15 years 1 months ago
Automated Software Test Data Generation for Complex Programs
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
Christoph C. Michael, Gary McGraw
66
Voted
ANLP
1997
115views more  ANLP 1997»
14 years 11 months ago
An Automatic Scoring System For Advanced Placement Biology Essays
This paper describes a prceXype for automatically scoring College Board Advanced Placement (AP) Biology essays.I. The scoring technique used in this study was based on a previous ...
Jill Burstein, Susanne Wolff, Chi Lu, Randy M. Kap...
IFM
2005
Springer
15 years 3 months ago
Generating Path Conditions for Timed Systems
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...