STVR Journal

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

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

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

@StvrJ Editorial "Working Across Boundaries" by Robert M. Hierons and @taoxiease onlinelibrary.wiley.com/doi/full/10.10…

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

@StvrJ open access article "Search-based Crash Reproduction using Behavioral Model Seeding" by @PDerakhshanfar @xdevroey, @GPerrouin, @azaidman, and @avandeursen ! onlinelibrary.wiley.com/doi/full/10.10…

I am happy to announce that our paper "Search-based Crash Reproduction using Behavioral Model Seeding" is accepted for publication in @StvrJ. The preprint is available here arxiv.org/abs/1912.04606. Great work with @xdevroey, @GPerrouin, @azaidman, and @avandeursen !

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

"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…

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