document.getElementById('index-articles-list').innerHTML = `

Generating Complete Controllable Test Suites for Distributed Testing

为分布式测试生成完整的可控测试套件

Hierons, Robert M.

IEEE Transactions on Software Engineering. 2015;41(3):279-293. DOI:10.1109/tse.2014.2364035

Property Satisfiability Analysis for Product Lines of Modelling Languages

建模语言产品线的性能满足性分析

Guerra, Esther; de Lara, Juan; Chechik et al.

IEEE Transactions on Software Engineering. 2020;():1-1. DOI:10.1109/TSE.2020.2989506

A Systematic Literature Review on Fault Prediction Performance in Software Engineering

软件工程中故障预测性能的系统文献综述

Hall, T.; Beecham, S.; Bowes et al.

IEEE Transactions on Software Engineering. 2012;38(6):1276-1304. DOI:10.1109/TSE.2011.103

Managing Technical Debt in Enterprise Software Packages

管理企业软件包中的技术债务

Ramasubbu, Narayan; Kemerer, Chris F.

IEEE Transactions on Software Engineering. 2014;40(8):758-772. DOI:10.1109/tse.2014.2327027

Integer Parameter Synthesis for Real-Time Systems

实时系统的整数参数综合

Jovanovic, Aleksandra; Lime, Didier; Roux et al.

IEEE Transactions on Software Engineering. 2015;41(5):445-461. DOI:10.1109/TSE.2014.2357445

`; document.getElementById('index-articles-more').href = `https://i.iikx.com/journal/1939-3520.html`; document.getElementById('index-articles-more').innerHTML='更多内容'; document.getElementById('index-articles-more').style="float:right;background:var(--primary-color);color:#fff;font-size:13px;border-radius:5px;padding:0px 10px;margin-right:5px;line-height:1.7"; document.getElementsByClassName('index-artcles')[0].style.display = 'block'; document.getElementById('showJournalIndexUrl').style.display = 'block'; document.querySelector('#showJournalIndexUrl a').href = `https://i.iikx.com/journal/1939-3520.html`;