1. A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams. (2nd October 2022) Authors: Izumi, Fabricio; de Lima Filho, Eddie B.; Cordeiro, Lucas C.; Maia, Orlewilson; Fabrício, Rômulo; Farias, Bruno; Silva, Aguinaldo Journal: Software testing, verification & reliability Issue: Volume 33:Number 1(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated black‐box testing of nominal and error scenarios in RESTful APIs. (23rd January 2022) Authors: Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Viglianisi, Emanuele; Dallago, Michael; Ceccato, Mariano Other Names: Păsăreanu Corina guestEditor.; Zeller Andreas guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 5(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Coloured Petri nets for abstract test generation in software engineering. (20th December 2022) Authors: Sobrinho, Álvaro; Almeida, Ially; da Silva, Leandro Dias; Chaves e Silva, Lenardo; Araújo, Adriano; Costa, Tássio Fernandes; Perkusich, Angelo Journal: Software testing, verification & reliability Issue: Volume 33:Number 2(2023) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Combinatorial methods for dynamic gray‐box SQL injection testing. (4th July 2022) Authors: Garn, Bernhard; Zivanovic, Jovan; Leithner, Manuel; Simos, Dimitris E. Journal: Software testing, verification & reliability Issue: Volume 32:Number 6(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Combinatorial testing and model checking. (10th August 2022) Authors: Le Traon, Yves; Xie, Tao Journal: Software testing, verification & reliability Issue: Volume 32:Number 6(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Combinatorial testing and model‐based testing. (11th February 2022) Authors: Hierons, Robert M.; Xie, Tao Journal: Software testing, verification & reliability Issue: Volume 32:Number 2(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Comprehensive evaluation of file systems robustness with SPIN model checking. (20th July 2022) Authors: Yuan, Jingcheng; Aoki, Toshiaki; Guo, Xiaoyun Journal: Software testing, verification & reliability Issue: Volume 32:Number 6(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Effective grey‐box testing with partial FSM models. (17th January 2022) Authors: Sachtleben, Robert; Peleska, Jan Journal: Software testing, verification & reliability Issue: Volume 32:Number 2(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Farewell after an 11‐year journey as joint editor‐in‐chief. (10th May 2022) Authors: Hierons, Robert M. Journal: Software testing, verification & reliability Issue: Volume 32:Number 4(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Fostering the diversity of exploratory testing in web applications. (19th June 2022) Authors: Leveau, Julien; Blanc, Xavier; Réveillère, Laurent; Falleri, Jean‐Rémy; Rouvoy, Romain Other Names: Păsăreanu Corina guestEditor.; Zeller Andreas guestEditor. Journal: Software testing, verification & reliability Issue: Volume 32:Number 5(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗