28. ASE 2013: Silicon Valley, CA, USA

Invited Papers

Technical Research Track

Concurrency

Dynamic Analysis

Testing

Verification

Evolution

Generation and Synthesis

Recommendations

Security

Debugging

Resources

Specification Mining

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

New Ideas: Models and Requirements

Tool Demonstrations

Doctoral Symposium