Track: New Ideas and Emerging Results
When: May 22, 2013 10:30
Location: Bayview A
Chair: Paolo Tonella

Eliminative Induction: A Basis for Arguing System Confidence

John B. Goodenough, Charles B. Weinstock, and Ari Z. Klein
SEI, USA

Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference

Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh
University of Colorado at Boulder, USA

Semantic Smells and Errors in Access Control Models: A Case Study in PHP

François Gauthier and Ettore Merlo
Polytechnique Montréal, Canada

Practical Semantic Test Simplification

Sai Zhang
University of Washington, USA

Understanding Regression Failures through Test-Passing and Test-Failing Code Changes

Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, and Yuriy Brun
University of Washington, USA; University of Massachusetts, USA