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
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)
Article Search
Info
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
proc time: 0.13