- Afonso Fontes, Gregory Gay 0002. The integration of machine learning into automated test generation: A systematic mapping study. Softw. Test., Verif. Reliab., 33(4), June 2023.
- Li Huang 0003, Bertrand Meyer 0001. A failed proof can yield a useful test. Softw. Test., Verif. Reliab., 33(7), November 2023.
- Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella. In vivo test and rollback of Java applications as they are. Softw. Test., Verif. Reliab., 33(7), November 2023.
- Yves Le Traon, Tao Xie 0001. Combinatorial testing and machine learning for automated test generation. Softw. Test., Verif. Reliab., 33(4), June 2023.
- Fabrí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. Softw. Test., Verif. Reliab., 33(1), 2023.
- Alvaro 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. Softw. Test., Verif. Reliab., 33(2), March 2023.
- Yves Le Traon, Tao Xie 0001. Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test., Verif. Reliab., 33(1), 2023.
- Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan. Adversarial example-based test case generation for black-box speech recognition systems. Softw. Test., Verif. Reliab., 33(5), August 2023.
- Torvald Mårtensson, Göran Ancher, Daniel Ståhl. Test environments for large-scale software systems - An industrial study of intrinsic and extrinsic success factors. Softw. Test., Verif. Reliab., 33(3), May 2023.
- Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei 0001, Feng Duan. RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test., Verif. Reliab., 33(2), March 2023.