{"51721":{"#nid":"51721","#data":{"type":"news","title":"CSS Wins Distinguished Paper Award At ISSTA\u002706","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003E(July 26, 2006)--\u003C\/strong\u003EComputing Science \u0026amp; Systems (CSS) Assistant Professor Yannis Smaragdakis and Ph.D. student Christoph Csallner wrote \u0022DSD-Crasher: a Hybrid Analysis Tool for Bug Finding,\u0022 and won one of\u00a0only two distinguished paper awards at this year\u0027s\u00a0International Symposium on Software Testing and Analysis (ISSTA).\u003C\/p\u003E\n\u003Cp\u003EDSD-Crasher is a bug finding tool that follows a three-step approach to program analysis:\u003Cbr \/\u003E(D) Captures the program\u2019s intended execution behavior with dynamic invariant detection.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u003Cbr \/\u003E(S) Statically analyzes the program within the restricted input domain to explore many paths.\u003Cbr \/\u003E(D) Automatically generates test cases that focus on verifying the results of the static analysis.\u003C\/p\u003E\n\u003Cp\u003ETherefore, DSD-Crasher\u0027s confirmed results are never false positives as opposed to the high false positive rate inherent in conservative static analysis. Smaragdakis and Csallner say their three-step approach yields benefits compared to past two-step combinations in the literature. \u0022In our evaluation with third-party applications, we demonstrate higher precision over tools that lack a dynamic step and higher efficiency over tools that lack a static step.\u0022\u003C\/p\u003E\n\u003Cp\u003EISSTA\u002706 is a premier conference in software testing and software analysis, and included over 150 attendees and 100 submissions this year. To view\u00a0CSS\u0027 distinguished paper, \u003Ca href=\u0022http:\/\/www.cc.gatech.edu\/~yannis\/issta06.pdf\u0022 target=\u0022_blank\u0022\u003Eclick here\u003C\/a\u003E.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EComputing Science \u0026amp; Systems Assistant Professor Yannis Smaragdakis and Ph.D. student Christoph Csallner\u00a0won one of\u00a0only two distinguished paper awards at the International Symposium on Software Testing and Analysis.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-09 21:46:54","changed_gmt":"2016-10-08 03:05:12","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","dateline":{"date":"2006-07-26T00:00:00-04:00","iso_date":"2006-07-26T00:00:00-04:00","tz":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}