97 search results - page 1 / 20 » Test input generation for red-black trees using abstraction |
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
FSTTCS
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
GLVLSI
2009
IEEE
13 years 9 months ago
2009
IEEE
1 Soft errors caused by cosmic particles and radiation emitted by the packaging are an important problem in contemporary microprocessors. Parity bits are used to detect single bit ...
ISSTA
2004
ACM
13 years 11 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...