523 search results - page 9 / 105 » Symbolic Test Selection Based on Approximate Analysis |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
—In this paper, by using the moment generating function (MGF) method, we derived the exact symbol error rate (SER) of multiple-input multiple-output (MIMO) system with transmit-a...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present a detection scheme for multiple-symbol DPSK for use in a statistically unknown time-varying channel. The scheme relies on a parametric representation of the timevaryi...