• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    Automated Software Engineering

    Automated Software Engineering

    JournalISSN 0928-8910eISSN 1573-7535CCF 软件工程/系统软件/程序设计语言 B中科院 计算机科学 4区

    年发文量

    研究主题

    论文(1503)

    排序
    1NewStyle2Code: A Dual-Modal Contrastive Learning Framework for Style-Controllable Code Generation
    Dutao Zhang, Yulong He, Nicolas Rafael Arroyo Arias, Boyi Li,Sergey Kovalchuk

    Controllable code generation aims to move source code toward a target coding style while preserving program behavior. Direct prompting may neither describe fine-grained style precisely nor reliably perform the requested transformation; it can preserve the source and achieve high correctness without effective style transfer. We propose Style2Code, a dual-modal framework that extracts an explicit 34-dimensional target-style profile spanning naming, layout, and function-level structure. A lightweight style encoder and contrastive learning align this profile with code representations before generation. Experiments on five synthetic and human-written benchmarks assess reference and source-relative style similarity, static and execution correctness, and copying. In controlled comparisons, Style2Code improves lexical reference similarity and target-style alignment over its backbone and same-backbone trained alternatives. Style2Code-9B achieves positive mean source-relative style improvement on all five datasets and lower copy rates than untuned Qwen Prompt and the evaluated API models, indicating active migration rather than source preservation alone. These gains do not consistently extend to CodeBLEU, static quality, Syntax, or Pass@1 because active style modification can introduce parsing, execution, and behavioral errors. Test-time repair recovers many failures but may increase source retention and is reported separately. Style2Code provides an interpretable mechanism for quantifiable, non-copy style transfer, while reliable function preservation remains an open challenge.

    2026
    引用
    AI阅读
    加入学术空间
    2NewBenchmarking Security and Governance Obligation Gaps in AI-generated Integration Code for Public-Service APIs
    Nguyen The-Vinh

    AI-assisted programming increasingly generates integration code at data-sharing boundaries, where functionality, authorization, field filtering, validation, auditability, provenance, and operational safeguards must hold together. We introduce a benchmark with 35 task instances derived from seven roles over five public-service scenarios, five prompt policies, 16 applicability-conditioned obligation classes, executable fixtures, and complementary validation probes. The benchmark specification is independent of the evaluated model configurations; its fully crossed evaluation contains 700 complete programs from four open-weight model families. Although 95.57 -4.1643 with a 95 [-4.9571,-3.5714] . Its functional rate is 44.29

    2026
    引用
    AI阅读
    加入学术空间
    3NewSearch-based Automation of Deep Learning Ensembles for Software Defect Prediction
    Aqsa,Yulin Wang,Abdul Majid,Rafaqat Kazmi

    Software Defect Prediction (SDP) supports software quality assurance by identifying software entities that are more likely to contain defects before release. However, SDP performance is often affected by class imbalance, redundant features, hyperparameter sensitivity, and the separate treatment of feature selection, model optimization, and ensemble construction. This study proposes HHO–NN–SDP, an automated framework that integrates Harris Hawks Optimization (HHO) with heterogeneous neural-network stacking. HHO jointly performs feature selection and hyperparameter optimization for three Level-0 learners: a Multilayer Perceptron (MLP), a one-dimensional Convolutional Neural Network (CNN-1D), and a Long Short-Term Memory (LSTM) network. Their out-of-fold probability predictions are subsequently combined using a shallow MLP meta-learner. Class-weighted binary cross-entropy is used to address class imbalance, while feature-set compactness is incorporated into the HHO fitness function. The framework is evaluated on twelve software defect datasets from the AEEEM, JIRA, and ReLink benchmark families using a leakage-free nested stratified cross-validation procedure. The complete experimental procedure is repeated across 30 independent executions. Across the twelve datasets, HHO–NN–SDP achieves a mean ROC-AUC of 0.888, PR-AUC of 0.736, F1-score of 0.785, and Matthews Correlation Coefficient (MCC) of 0.660. The framework achieves the best average ROC-AUC rank among the evaluated methods, while strong tuned baselines, including LightGBM, LSTM, and XGBoost, remain competitive. Overall, the results indicate that HHO–NN–SDP provides an integrated approach to feature selection, neural-network optimization, and stacking, with a favorable balance between predictive performance and feature compactness across the evaluated benchmark families.

    2026
    引用
    AI阅读
    加入学术空间
    4NewMicroViSim: Lightweight Design-Time Simulation and Visualization for Kubernetes-based Microservice Architecture Evolution
    Wei-Kai Lin,Shang-Pin Ma, Chih-Hsuan Chu,Shin-Jie Lee,Wen-Tin Lee

    Microservice systems undergo frequent updates to accommodate new features, workloads, and deployment constraints. However, architectural changes such as service decomposition, dependency reorganization, and responsibility migration can introduce hidden bottlenecks or shift risks from one service to another. Assessing these difficulties prior to deployment is hindered by the need for runtime traces, and high-fidelity simulators often require detailed models or complex execution environments. This paper presents MicroViSim, a lightweight, configuration-driven approach to evaluating Kubernetes-based microservice architecture changes prior to deployment. MicroViSim uses YAML-based architecture and workload descriptions to visualize service dependencies, compare architecture versions, simulate request and error propagation, and generate heuristic estimates of endpoint-level latency, error rates, risk indicators, and autoscaling effects. The system was evaluated through two architectural case studies based on Bookinfo and AICS, additional parameter-sensitivity and scenario-based stress simulations, and a trend-level comparison between simulation results and real-system measurements. The results provide exploratory evidence that, under the evaluated workload and capacity assumptions, MicroViSim can reveal candidate architectural bottlenecks, risk shifts caused by architecture changes, and major runtime behavior trends with limited modeling effort. These findings suggest that MicroViSim can serve as a practical support tool for early-stage design-time evaluation, while more extensive industrial validation remains necessary before making broad claims about predictive accuracy or general applicability.

    2026
    引用
    AI阅读
    加入学术空间
    5NewCompiler-validated Code Generation for ArkTS on HarmonyOS: a Multi-Agent Framework and a Controlled Decomposition of Its Mechanisms
    Nadir İbrahimoğlu, Mustafa Umut Demirezen

    Large Language Models (LLMs) have transformed software development through automated code generation, yet their effectiveness diminishes substantially for specialized programming languages where training data remains scarce. This paper presents MAS-ArkTSCode, a multi-agent framework addressing synthetic code generation for low-resource languages through coordinated agent collaboration, retrieval-augmented generation (RAG), and compiler-in-the-loop validation. The framework decomposes code generation into specialized subtasks managed by six coordinated agents covering analysis, generation, quality scoring, prompt enhancement, error diagnosis, and code repair. For ArkTS on HarmonyOS, 88.6 ≥ 7 ; mean 7.86 ± 0.95). Baseline comparisons on 500 prompts identify compiler-in-the-loop feedback as the decisive mechanism: single-shot baselines reach at most 15.0

    2026
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 1503 篇论文

    高被引作者

    作者引用发文
    Willem Conradie Visser23664
    Klaus Havelund23233
    Flavio Lerda20431
    Seungjoon Park20431
    Brat, G.20432
    David Lo163118
    Tim Menzies129412
    Stephen P. Reiss11265
    Tao Xie104817
    Manos Renieris10421

    高产作者

    作者引用发文
    John Grundy81330
    Robert J. Hall11821
    David Lo163118
    Tao Xie104817
    Sven Apel98514
    Tim Menzies129412
    Alexander Egyed47011
    chen xiang9311
    Marouane Kessentini40210
    Sarfraz Khurshid9439

    相关期刊

    ACM Transactions on Software Engineering and Methodology
    IEEE Transactions on Software Engineering
    International Journal of Software Engineering and Knowledge Engineering
    Software Quality Journal
    IEEE International Conference on Software Analysis, Evolution, and Reengineering
    International Conference on Software Quality, Reliability and Security
    International Conference on Software Testing, Verification, and Validation
    International Conference on Automated Software Engineering
    Proceedings - International Conference on Software Engineering. International Conference on Software Engineering
    International Conference on Software Engineering