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...
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...
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...
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...
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 ...