481 search results - page 14 / 97 » Differential symbolic execution |
COMPSAC
1996
IEEE
15 years 2 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
159
click to vote
NFM
2011
14 years 4 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
PIMRC
2010
IEEE
14 years 8 months ago
2010
IEEE
In this paper we focus on compressive sampling (CS) based ultra wideband (UWB) differential detection. We formulate an optimization problem to jointly recover the sparse received U...
117
Voted
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...