posted by organizer: cernyto3 || 2443 views || tracked by 3 users: [display]

CODAS 2020 : Code Analysis and Software Mining in Scientific and Engineering Applications

FacebookTwitterLinkedInGoogle

Link: https://www.hindawi.com/journals/sp/si/716070/
 
When N/A
Where N/A
Submission Deadline Mar 13, 2020
Notification Due May 31, 2020
Final Version Due Jul 1, 2020
Categories    ode analysis   software mining   verification
 

Call For Papers

Code analysis and software mining provide opportunities for system assessments and quality improvements of many current scientific and engineering applications. Modern development frameworks provide constructs that could be used in this analysis to better evaluate or verify software solutions. For example, a software engineer may extract information directly from the code or data, transform it into new models, and use it as input in other systems. This input may simplify the distribution of information, application verification checks, or the derivation of system or process overviews.

New tools and approaches proposed for code analysis and software mining should improve our understanding of large software systems and their dependability, alongside many other qualities. For instance, they may address the mining application programming interface (API) dependencies, modeling control flow, or provide an overview of system concerns. They may also consider continuous integration, which brings opportunities for software repository mining and repository commit analysis involving other metainformation. Further research in this area would assist with test extraction and detecting duplicated tests and also improve software quality assurance in general.

This Special Issue aims to publish original research and review articles that explore state-of-the-art methods of code analysis and software mining in scientific or engineering applications. Contributions may consider static or dynamic code analysis of compiled or interpreted languages or use bytecode analysis. Approaches involving novel machine learning techniques or scientific analysis methods are also welcome, as are case studies looking beyond recommender systems, providing novel metrics and/or involving big data solutions that tackle fast processing or memory optimization. Research is expected to report new approaches and tools alongside production-level experience, and also consider impacts on development and sustainability or code management.

Potential topics include but are not limited to the following:

Test automation, test coverage, verification, code checking, and quality assurance
Development frameworks in the context of code analysis
Code reviews based on code analysis
Code clone and inconsistency analysis
API contract or dependency mining
Software project repository mining (Git, SVN, etc.)
Analysis of code and development processes (Jira, Bugzilla, etc.)
Control flow modeling and reconstruction
Distributed system integration based on code tools
Case studies, surveys, and novel tools and approaches in code analysis and software mining
Model and documentation extraction based on code analysis

Related Resources

SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
SBMF 2025   28th Brazilian Symposium on Formal Methods
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
Ei/Scopus-DMCSE 2025   2025 2nd International Conference on Data Mining, Computing and Software Engineering (DMCSE 2025)
SPIE SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
ISAI--EI 2026   2026 the 6th International Symposium on AI (ISAI 2026)
ICCDA 2025   2025 The 9th International Conference on Computing and Data Analysis (ICCDA 2025)
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing