1112 search results - page 88 / 223 » Executing Abstract Test Cases |
116
click to vote
TC
2008
15 years 3 months ago
2008
Abstract--Testing security systems is challenging because a system's authors have to play the double role of attackers and defenders. Red Team/Blue Team exercises are an inval...
110
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—This paper proposes a simple non-coherent amplifyand-forward receiver for the relay channel and evaluates its diversity performance for Rayleigh fading channels. We use ...
155
click to vote
INFSOF
2010
15 years 12 days ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
130
click to vote
TR
2010
14 years 9 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
100
click to vote
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...