External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 33, Issue 8

    0 -- 0Fabiano Cutigi Ferrari, Vinicius H. S. Durelli, Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand, Nils Müllner. On transforming model-based tests into code: A systematic literature review
    0 -- 0Yves Le Traon, Tao Xie 0001. Model-based testing, test case prioritization and testing of virtual reality applications
    0 -- 0Junxia Guo, Rui Wang, Jinjin Han, Zheng Li 0002. Research on hyper-level of hyper-heuristic framework for MOTCP
    0 -- 0Stevão Alves de Andrade, Fátima L. S. Nunes, Márcio Eduardo Delamaro. Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications

    Volume 33, Issue 7

    0 -- 0Li Huang 0003, Bertrand Meyer 0001. A failed proof can yield a useful test
    0 -- 0Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella. In vivo test and rollback of Java applications as they are
    0 -- 0Yves Le Traon, Tao Xie 0001. In vivo testing and integration of proving and testing

    Volume 33, Issue 6

    0 -- 0Yves Le Traon, Tao Xie 0001. Deep neural network supervision and data flow testing
    0 -- 0Michael Weiss 0004, Paolo Tonella. Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines
    0 -- 0Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo. On subsumption relationships in data flow testing

    Volume 33, Issue 5

    0 -- 0Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan. Adversarial example-based test case generation for black-box speech recognition systems
    0 -- 0Yves Le Traon, Tao Xie 0001. Quality assurance for Internet of Things and speech recognition systems
    0 -- 0Wen-Lin Sun, Ying-Han Tang, Yu-Lun Huang. HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud

    Volume 33, Issue 4

    0 -- 0Afonso Fontes, Gregory Gay 0002. The integration of machine learning into automated test generation: A systematic mapping study
    0 -- 0Yves Le Traon, Tao Xie 0001. Combinatorial testing and machine learning for automated test generation
    0 -- 0Edmond La Chance, Sylvain Hallé. An investigation of distributed computing for combinatorial testing

    Volume 33, Issue 3

    0 -- 0Torvald Mårtensson, Göran Ancher, Daniel Ståhl. Test environments for large-scale software systems - An industrial study of intrinsic and extrinsic success factors
    0 -- 0Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella. JUGE: An infrastructure for benchmarking Java unit test generators
    0 -- 0Yves Le Traon, Tao Xie 0001. Test infrastructure and environment

    Volume 33, Issue 2

    0 -- 0Alvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich. Coloured Petri nets for abstract test generation in software engineering
    0 -- 0Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei 0001, Feng Duan. RATE: A model-based testing approach that combines model refinement and test execution
    0 -- 0Yves Le Traon, Tao Xie 0001. Model-based testing

    Volume 33, Issue 1

    0 -- 0Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva. A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams
    0 -- 0Yves Le Traon, Tao Xie 0001. Fuzz testing for digital TV receivers and multitasking control software verification
    0 -- 0Yunja Choi. OS-in-the-Loop verification for multi-tasking control software
    runs on