| Document Date: 2011-02-02 17:07:10
Open Document File Size: 684,99 KBShare Result on Facebook
City Newport Beach / / Company BitTorrent / MySQL / Intel / Reliability Software / GrammaTechInc / / Country United States / / Currency USD / / / Facility University of Wisconsin / / IndustryTerm consistencycheck error site / failure-diagnosis tools / Naive solutions / by-product / error site / software failures / identification algorithm / database server / predictive concurrency-bug-detection tools / predictive bug-detection tools / Cherokee web server / desktop applications / potential invariant-violation site / bug-detection tool / opensource bug-detection tool / given site / software bugs / infinite-loop site / sequential software / large applications / potential site / potential software failures / invariant-violation failure site / large real-world applications / software failure / printf call site / potential incorrect-output failure site / call-site / concurrency software / static-slicing tool / open-source server / incorrect-output site / potential error site / server applications / potential infinite-loop site / potential memory-error site / given potential error site / state-space search / assertion-failure call site / client applications / short chain / assertion-failure site / potential assertion-violation failure site / consistency-check error site / software/system defects / bug-detection tools / software testing / basic algorithm / assertion site / concurrency-bug validation tools / target software / software verification / Apache web server / non-fail-stop software failures / / MarketIndex set 70 / / OperatingSystem Linux / / Organization S. Slicing / University of Wisconsin / / Position driver / Tools General / General / / Product Cherokee / ConSeq / BinLog / / ProgrammingLanguage C / Javascript / C++ / / ProvinceOrState California / / Technology Linux / one router / shared memory / web server / identification algorithm / basic algorithm / /
SocialTag |
ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1