1. Choosing the fitness function for the job: Automated generation of test suites that detect real faults. (16th November 2020) Authors: Salahirad, Alireza; Almulla, Hussein; Gay, Gregory Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Complexity vulnerability analysis using symbolic execution. (6th February 2020) Authors: Luckow, Kasper; Kersten, Rody; Pasareanu, Corina Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017). (2nd November 2020) Authors: Schieferdecker, Ina; Memon, Atif; Washizaki, Hironori Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Issue Information. (16th November 2020) Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers. (2nd December 2019) Authors: Artho, Cyrille; Banzai, Kazuaki; Gros, Quentin; Rousset, Guillaume; Ma, Lei; Kitamura, Takashi; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗