TY - JOUR T1 - Preface: Tools featured at the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025 JO - Science of Computer Programming UR - https://doi.org/10.1016/j.scico.2026.103553 PY - 2026/07/01 AU - McMinn P AU - Bianculli D AU - Tramontana P ED - DO - DOI: 10.1016/j.scico.2026.103553 PB - Elsevier BV SP - 103553 EP - 103553 Y2 - 2026/08/14 ER -