Call for papers

• Static and dynamic code analysis
• Bytecode analysis and metaprogramming
• Log analysis
• Code to code and code to model transformations
• Software mining, code inspection, and information extraction
• Software verification and code checking
• Model-based Testing
• Formal verifications
• Innovative software testing methods
• API decency mining
• Automated derivations and code transformations
• Security audit and compliance
• Inconsistency and clone detection
• Software project repository mining (git, svn..)
• Analysis of code and development process (Jira, Bugizilla..)
• Control-flow modeling and reconstruction
• Reverse engineering
• Process and system monitoring
• Distributed aspect-oriented programming
• Test automation, test coverage verification & quality assurance
• Documentation extraction
• Analysis of the memory inefficiencies

• others..

Research papers should address the target topics. Submissions must not have been published or be concurrently considered for publication elsewhere. Papers should follow the ACM SAC proceedings template and be submitted as PDF. Papers should follow requirements for double-blind review and any author names or affiliations in provided PDF terminates the review process. The standard submission allows 8 pages (+2 with additional charge). Posters limits is 3 pages (+1 with extra charge). Online submission site can consider the author names and affiliations. Paper selection is based on the originality, technical contribution, presentation quality, and relevance to the track. Upon paper acceptance, prospective authors must provide a camera-ready version reflecting the review. The conference proceedings will be published by ACM and also available online through the ACM Digital Library.