*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Alex Orso, orso@cc.gatech.edu or 404-385-2066
Summary Sentence: Cooperative Testing and Analysis via Informed Decision Making
Full Summary: No summary paragraph submitted.
Xusheng Xiao, UIUCSPEAKER:
Xusheng Xiao, University of Illinois at Urbana-Champaign
TITLE:
Cooperative Testing and Analysis via Informed Decision Making
ABSTRACT:
Tool automation to reduce manual efforts is important in software testing and analysis for improving software quality. When dealing with complex software, tools face various challenges, and cooperation that synergistically combines the strengths of users and tools is greatly needed but lacks support in state-of-the-art research and practice. This talk presents a methodology of cooperative testing and analysis, where users make informed decisions when cooperating with software testing and analysis tools to accomplish tasks more effectively. This talk also presents a program-analysis technique on precisely identifying and reporting the problems that prevent test-generation tools from achieving high structural coverage. This technique enables users to help the tools address only the relevant problems, reducing users' efforts in providing help. Finally, this talk presents another program-analysis technique on computing information flows and classifying them as safe/unsafe based on a tamper analysis. This flow information explains how applications use permissions, enabling users to make informed decisions on using private data or anonymized data. Also, such information enables mobile platforms to provide default settings that use private data for only safe flows, minimizing decision making required from users.
BIO:
Xusheng Xiao is a PhD Candidate in the Department of Computer Science at North Carolina State University, and a visiting student in the Department of Computer Science at the University of Illinois at Urbana-Champaign. His research in software engineering focuses on improving cooperation between users and software testing and analysis tools. He has been awarded the ICSE SRC Best Project Representing an Innovative Use of Microsoft Technology at ACM SRC Grand Final 2012. His work on mobile security is integrated into TouchDevelop developed by Microsoft Research and is granted a U.S. patent. He has completed several industrial research internships at Microsoft Research, IBM Research, and NEC Labs. His work appears in venues such as ICSE, FSE, ISSTA, ASE, and USENIX Security. Before starting his Ph.D. program, Xusheng was a Consultant/Developer who specialized in Agile Software Development in ThoughtWorks.
