• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2023
• 
  Stevã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. Softw. Test. Verification Reliab. 33(8) (2023)
• 
  Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella:
  In vivo test and rollback of Java applications as they are. Softw. Test. Verification Reliab. 33(7) (2023)
• 
  Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan:
  RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. 33(2) (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. Verification Reliab. 33(5) (2023)
• 
  Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo:
  On subsumption relationships in data flow testing. Softw. Test. Verification Reliab. 33(6) (2023)
• 
  Edmond La Chance, Sylvain Hallé:
  An investigation of distributed computing for combinatorial testing. Softw. Test. Verification Reliab. 33(4) (2023)
• 
  Yunja Choi:
  OS-in-the-Loop verification for multi-tasking control software. Softw. Test. Verification Reliab. 33(1) (2023)
• 
  Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella:
  JUGE: An infrastructure for benchmarking Java unit test generators. Softw. Test. Verification Reliab. 33(3) (2023)
• 
  Fabiano 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. Softw. Test. Verification Reliab. 33(8) (2023)
• 
  Afonso Fontes, Gregory Gay:
  The integration of machine learning into automated test generation: A systematic mapping study. Softw. Test. Verification Reliab. 33(4) (2023)
• 
  Junxia Guo, Rui Wang, Jinjin Han, Zheng Li:
  Research on hyper-level of hyper-heuristic framework for MOTCP. Softw. Test. Verification Reliab. 33(8) (2023)
• 
  Li Huang, Bertrand Meyer:
  A failed proof can yield a useful test. Softw. Test. Verification Reliab. 33(7) (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. Verification Reliab. 33(1) (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. Verification Reliab. 33(3) (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. Verification Reliab. 33(2) (2023)
• 
  Wen-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. Softw. Test. Verification Reliab. 33(5) (2023)
• 
  Yves Le Traon, Tao Xie:
  Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test. Verification Reliab. 33(1) (2023)
• 
  Yves Le Traon, Tao Xie:
  Model-based testing. Softw. Test. Verification Reliab. 33(2) (2023)
• 
  Yves Le Traon, Tao Xie:
  Test infrastructure and environment. Softw. Test. Verification Reliab. 33(3) (2023)
• 
  Yves Le Traon, Tao Xie:
  Combinatorial testing and machine learning for automated test generation. Softw. Test. Verification Reliab. 33(4) (2023)
• 
  Yves Le Traon, Tao Xie:
  Quality assurance for Internet of Things and speech recognition systems. Softw. Test. Verification Reliab. 33(5) (2023)
• 
  Yves Le Traon, Tao Xie:
  Deep neural network supervision and data flow testing. Softw. Test. Verification Reliab. 33(6) (2023)
• 
  Yves Le Traon, Tao Xie:
  In vivo testing and integration of proving and testing. Softw. Test. Verification Reliab. 33(7) (2023)
• 
  Yves Le Traon, Tao Xie:
  Model-based testing, test case prioritization and testing of virtual reality applications. Softw. Test. Verification Reliab. 33(8) (2023)
• 
  Michael Weiss, Paolo Tonella:
  Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines. Softw. Test. Verification Reliab. 33(6) (2023)