Information and software technology

• 

  Año 2009, Vol. 51, Número 11

  • Special section: AST 2008

    • Model-based testing approaches selection for software projects

      Arilo Claudio Dias-Neto, Guilherme Horta Travassos

      págs. 1487-1504

      

    • Validation of SDL specifications using EFSM-based test generation

      W. Eric Wong, Andy Restrepo, Byongju Choi

      págs. 1505-1519

      

    • A methodology for evaluating test coverage criteria of high level Petri nets

      Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He

      págs. 1520-1533

      

    • Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Objet-Oriented software

      José Carlos Bregieiro Ribeiro, Mário Alberto Zenha-Rela, Francisco Fernández de Vega

      págs. 1534-1548

      

  • Special section: QSIC 2008

    • Using machine learning to refine Category-Partition test specifications and test suites

      Lionel C. Briand, Yvan Labiche, Zaheer Bawar, Nadia Traldi Spido

      págs. 1551-1564

      

    • Integrating top-down and scenario-based methods for constructing software specifications

      Shaoying Liu

      págs. 1565-1572

      

    • Is non-parametric hypothesis testing model robust for statistical fault localization?

      Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang

      págs. 1573-1585

      

    • Architecture compliance checking at run-time

      Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura

      págs. 1586-1600

      

    • Using coverage to automate and improve test purpose based testing

      Martin Weiglhofer, Gordon Fraser, Franz Wotawa

      págs. 1601-1617

      

    • Linux bugs: life cycle, resolution and architectural analysis

      Mohamed F. Ahmed, Swapna Gokhale

      págs. 1618-1627