×
We publish papers that use theory, practice and empirical work to provide techniques for testing, verifying and improving the reliability of software, as well ...
Software testing and debugging Document types Business process management Formal software verification General and reference Interaction design theory, ...
Software Testing, Verification & Reliability (STVR). visit. web page ... Volume 4: 1994 · Volume 3: 1993 · Volume 2: 1992 · Volume 1: 1991/1992. manage site ...
Software Testing, Verification & Reliability · Downloads (12 months) · Downloads (cumulative) · Citation Count · Downloads (6 weeks) · Downloads (12 months).
People also ask
Nov 24, 2009 · Legacy Code is one of the best books I've read on software development, and I've read many. It's real. Some of the chapter titles are: I Can't ...
Y. Kim and S. Hong, Learning-based Mutant Reduction using Fine-grained Mutation Operators, Software Testing, Verification and Reliability (STVR), 32 ( ...
Bibliographic content of Software Testing, Verification & Reliability, Volume 24.
Software Testing, Verification & Reliability (STVR), Volume 18. Volume 18, Number 1, March 2008. Editorials. Jeff Offutt: Editorial: The journal impact factor ...
This page contains links to editorials and resources for editorial board members and reviewers for STVR. Maintained by Jeff Offutt Last change 24 June, 2019 ...
2012: Y.J.Kim and M.Kim, Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems, IEEE Intl. Symp. on Software Reliability Engineering ...