• 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 190 matches

• 2023
• 
  Yves Le Traon, Tao Xie:
  Fuzz testing for digital TV receivers and multitasking control software verification. Softw. Test. Verification Reliab. 33(1) (2023)
• 
  Ai Liu, Shaoying Liu:
  Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Trans. Software Eng. 49(1): 304-324 (2023)
• 2022
• 
  Abderrahim Ait Wakrime, Yassine Ouhammou:
  Advances in modeling, verification and testing of safety-critical software architectures. Innov. Syst. Softw. Eng. 18(4): 483-484 (2022)
• 
  Corina S. Pasareanu, Andreas Zeller:
  IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). Softw. Test. Verification Reliab. 32(5) (2022)
• 
  15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022. IEEE 2022, ISBN 978-1-6654-6679-0 [contents]
• 
  15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022. IEEE 2022, ISBN 978-1-6654-9628-5 [contents]
• 2021
• 
  Robert Feldt, Shin Yoo:
  Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018. Softw. Test. Verification Reliab. 31(1-2) (2021)
• 
  Robert M. Hierons, Tao Xie:
  Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. 31(7) (2021)
• 
  Atif M. Memon, Myra B. Cohen:
  The IEEE 12th International Conference on Software Testing, Verification & Validation. Softw. Test. Verification Reliab. 31(4) (2021)
• 
  Pooja Rani, G. S. Mahapatra:
  Entropy based enhanced particle swarm optimization on multi-objective software reliability modelling for optimal testing resources allocation. Softw. Test. Verification Reliab. 31(6) (2021)
• 
  Franz Wotawa:
  On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems. SafeAI@AAAI 2021
• 
  14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021. IEEE 2021, ISBN 978-1-7281-6836-4 [contents]
• 
  14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021, Porto de Galinhas, Brazil, April 12-16, 2021. IEEE 2021, ISBN 978-1-6654-4456-9 [contents]
• 2020
• 
  Jin Zhang, Jingyue Li:
  Testing and verification of neural-network-based safety-critical control software: A systematic literature review. Inf. Softw. Technol. 123: 106296 (2020)
• 
  Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
  Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2) (2020)
• 
  Ina Schieferdecker, Atif Memon, Hironori Washizaki:
  Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017). Softw. Test. Verification Reliab. 30(7-8) (2020)
• 
  Shiva Nejati:
  Search-Based Software Testing for Formal Software Verification - and Vice Versa. SSBSE 2020: 3-6
• 
  13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. IEEE 2020, ISBN 978-1-7281-5778-8 [contents]
• 
  13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. IEEE 2020, ISBN 978-1-7281-1075-2 [contents]
• 2019
• 
  Anila Mjeda, Goetz Botterweck:
  Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
• 
  12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019. IEEE 2019, ISBN 978-1-7281-1736-2 [contents]
• 
  2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE 2019, ISBN 978-1-7281-0888-9 [contents]
• 
  Jin Zhang, Jingyue Li:
  Testing and verification of neural-network-based safety-critical control software: A systematic literature review. CoRR abs/1910.06715 (2019)
• 2018
• 
  Min Gao:
  Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet. University of California, Los Angeles, USA, 2018
• 
  11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, Västerås, Sweden, April 9-13, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-5012-7 [contents]
• 
  2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-6352-3 [contents]
• 2017
• 
  Mercedes G. Merayo, Gwen Salaün:
  Preface: Special issue on software verification and testing. J. Syst. Softw. 132: 317-318 (2017)
• 
  Gordon Fraser, Darko Marinov:
  Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015). Softw. Test. Verification Reliab. 27(6) (2017)
• 
  Dirk Beyer, Thomas Lemberger:
  Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference 2017: 99-114
• 
  Nazareno Aguirre:
  Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. FormaliSE@ICSE 2017: 2

skipping 160 more matches