Powered by
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE),
November 11-15, 2013,
Palo Alto, USA
Preface
Invited Papers
Technical Research Track
Concurrency
Constraint-Based Automatic Symmetry Detection
Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu

, Junwei Ma, and Jin Song Dong
(Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Nanyang Technological University, Singapore)
Dynamic Analysis
Testing
Verification
Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto
(AIST, Japan; University of Tokyo, Japan; National Institute of Informatics, Japan; Chiba University, Japan)
Info
Evolution
Generation and Synthesis
SEDGE: Symbolic Example Data Generation for Dataflow Programs
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis

, Yanlei Diao, and Christoph Csallner
(University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Texas at Arlington, USA)
Recommendations
Security
Debugging
Resources
Specification Mining
TzuYu: Learning Stateful Typestates
Hao Xiao, Jun Sun, Yang Liu

, Shang-Wei Lin, and Chengnian Sun
(Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore)
Models and Complexity
Experience Track
Experience: Software Analysis
Experience: Testing and Verification
New Ideas Track
New Ideas: Adaptation and Transformation
New Ideas: Testing and Debugging
Flow Permissions for Android
Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, and Lukasz Ziarek
(SUNY Buffalo, USA)
New Ideas: Models and Requirements
Tool Demonstrations
Doctoral Symposium
proc time: 0.13