Journal: Softw. Test., Verif. Reliab.

Volume 10, Issue 4

201 -- 202Robert M. Hierons, John Derrick. Editorial: special issue on specification-based testing
203 -- 227Hyoung Seok Hong, Young-gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural. A test sequence selection method for statecharts
229 -- 248Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch. Specification based test sequence generation with propositional logic
249 -- 262Stephen H. Edwards. Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential

Volume 10, Issue 3

147 -- 148Martin R. Woodward. Editorial: Collaboration, collaboration, collaboration
149 -- 170Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White. State Generation and Automated Class Testing
171 -- 194Mary Jean Harrold, Gregg Rothermel, Kent Sayre, Rui Wu, Liu Yi. An Empirical Investigation of the Relationship Between Spectra Differences and Regression Faults
195 -- 0John Derrick. Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review)
196 -- 0Robert M. Hierons. Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review)

Volume 10, Issue 2

75 -- 76Martin R. Woodward. Editorial: The times they are a-changing
77 -- 109Gregg Rothermel, Mary Jean Harrold, Jeinay Dedhia. Regression Test Selection for C++ Software
111 -- 137David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper. From Object-Z Specifications to ClassBench Test Suites
139 -- 140Alexandra Poulovassilis. Classical and Object-Oriented Software Engineering with UML and C++, Stephen R. Schach, McGraw-Hill, 1998 (Book Review)
140 -- 142Paul Krause. Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review)

Volume 10, Issue 1

1 -- 2Derek Yates. Editorial: The Best Ever
3 -- 45K. S. How Tai Wah. A Theoretical Study of Fault Coupling
47 -- 64Anneliese Amschler Andrews, Dexing Chen. Effect of Fault Distribution and Execution Patterns on Fault Exposure in Software: A Simulation Study
65 -- 66John Murdoch. System Safety: HAZOP and Software HAZOP, Felix Redmill, Morris Chudleigh and James Catmur, Wiley, 1999 (Book Review)
67 -- 69Richard N. Taylor. Test Process Improvement, Tim Koomen and Martin Pol, Addison-Wesley, 1999 (Book Review)