481 search results - page 30 / 97 » Differential symbolic execution |
80
Voted
FATES
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
74
Voted
JILP
2002
14 years 10 months ago
2002
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
BIOADIT
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This article describes an implementation of a basic multiprocessor system that exhibits replication and differentiation abilities on the POEtic tissue, a programmable har...
89
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Adaptive Demodulation (ADM) is a newly proposed rate-adaptive system which operates without requiring Channel State Information (CSI) at the transmitter (unlike adaptive modulatio...
103
Voted
SIGSOFT
2006
ACM
15 years 4 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...