document.getElementById('index-articles-list').innerHTML = `
  • Regression testing minimization, selection and prioritization: a survey

    S. Yoo; M. Harman

    Software testing verification & reliability. 2012;22(2):67-120. DOI:10.1002/stv.430
  • Timing analysis of scenario-based specifications using linear programming

    Xuandong Li; Minxue Pan; Lei Bu; Linzhang Wang; Jianhua Zhao

    Software testing verification & reliability. 2012;22(2):121-143. DOI:10.1002/stv.434
  • Formal passive testing of timed systems: theory and tools

    César Andrés; Mercedes G. Merayo; Manuel Núñez

    Software testing verification & reliability. 2012;22(6):0-0. DOI:10.1002/stvr.1464
  • Guest authors are not welcome

    Software testing verification & reliability. 2012;22(2):65-65. DOI:10.1002/stvr.1466
  • Scenario-based testing using symbolic animation of B models

    Frédéric Dadeau; Kalou Cabrera Castillos; Régis Tissot

    Software testing verification & reliability. 2012;22(6):0-0. DOI:10.1002/stvr.1467
    • `; document.getElementById('index-articles-more').href = `https://i.iikx.com/journal/1099-1689.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/1099-1689.html`;