External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 30, Issue 3

    0 -- 0Anthony J. H. Simons, Raluca Lefticaru. A verified and optimized Stream X-Machine testing method, with application to cloud service certification
    0 -- 0Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen. Search-based crash reproduction using behavioural model seeding
    0 -- 0Robert M. Hierons, Tao Xie. Working Across Boundaries
    runs on