Volume 36, Number 1, January 2010
: Editorial: A New Editor in Chief and the State of the Journal.
, Stefan Leue
: Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.
, Atif M. Memon
: Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback.
Volume 36, Number 2, March-April 2010
: Editorial: Readers, Writers, Reviewers, and Editors.
: A Quantitative Investigation of the Acceptable Risk Levels of Object-Oriented Metrics in Open-Source Systems.
, Phil McMinn
: A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search.
: Engineering a Sound Assertion Semantics for the Verifying Compiler.
Volume 36, Number 3, May-June 2010
Volume 36, Number 4, July-August 2010
Volume 36, Number 5, September - October 2010
, Iain Bate
: Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems.
Volume 36, Number 6, November - December 2010
, S. Afshin Mansouri
: Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering.
: A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation.