Sciweavers

11172 search results - page 264 / 2235
» Testing Physical Systems
Sort
View
ISCAS
2006
IEEE
85views Hardware» more  ISCAS 2006»
16 years 19 days ago
Analog frequency response measurement in mixed-signal systems
—We present an efficient approach for on-chip frequency response measurement, including phase and gain, of analog circuitry in mixed-signal systems. The approach uses direct digi...
Charles E. Stroud, Dayu Yang, Foster F. Dai
CAV
2005
Springer
133views Hardware» more  CAV 2005»
16 years 5 days ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha
ICSM
2007
IEEE
16 years 28 days ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...
COMPSAC
2010
IEEE
15 years 4 months ago
GenRed: A Tool for Generating and Reducing Object-Oriented Test Cases
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
Hojun Jaygarl, Kai-Shin Lu, Carl K. Chang
EUROMICRO
2007
IEEE
16 years 29 days ago
Using Model Differencing for Architecture-level Regression Testing
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
Henry Muccini