Wiley's STVR Journal has a change in leadership: Tao Xie is joining Robert Hierons as co editor-in-chief. Many thanks to Jeff Offutt for his past 12 years of outstanding leadership, service, and contribution for STVR! Here is his retirement editorial: cs.gmu.edu/~offutt/stvr/2…

"The world changes" STVR editorial (Volume 29, Issue 6-7September-November 2019) by Co-Editor-in-Chief Robert Hierons onlinelibrary.wiley.com/doi/10.1002/st…

"New Chapter Ahead" STVR Editorial (for Volume 29, Issue 8December 2019) by Co-Editor-in-Chief Tao Xie onlinelibrary.wiley.com/doi/10.1002/st…

A special issue with extended #ISSRE papers has been published on STVR Journal onlinelibrary.wiley.com/toc/10991689/2…

I am happy to announce that our paper "Search-based Crash Reproduction using Behavioral Model Seeding" is accepted for publication in STVR Journal. The preprint is available here arxiv.org/abs/1912.04606. Great work with @xdevroey, Gilles Perrouin, Andy Zaidman, and Arie van Deursen !

STVR Journal open access article "Search-based Crash Reproduction using Behavioral Model Seeding" by Pouria Derakhshanfar @xdevroey, Gilles Perrouin, Andy Zaidman, and Arie van Deursen ! onlinelibrary.wiley.com/doi/full/10.10…

STVR Journal open access article "A verified and optimized Stream X‐Machine testing method, with application to cloud service certification" by Anthony J. H. Simons and Raluca Lefticaru ! onlinelibrary.wiley.com/doi/full/10.10…

STVR Journal Editorial "Working Across Boundaries" by Robert M. Hierons and Tao Xie onlinelibrary.wiley.com/doi/full/10.10…

STVR Journal article "Fully Automated HTML and JavaScript Rewriting for Constructing a Self‐healing Web Proxy" by Thomas Durieux, Youssef Hamadi, Martin Monperrus onlinelibrary.wiley.com/doi/full/10.10…

STVR Journal article "Complexity vulnerability analysis using symbolic execution" by Kasper Luckow, Rody Kersten, Corina Pasareanu. onlinelibrary.wiley.com/doi/full/10.10…