Journal: Softw. Test., Verif. Reliab.

Volume 24, Issue 8

591 -- 592Achim D. Brucker, Jacques Julliand. Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites
593 -- 607Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs
608 -- 628Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae. Automated test case generation for FBD programs implementing reactor protection system software
629 -- 655Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias. RepOK-based reduction of bounded exhaustive testing
656 -- 683Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson. A random testing approach using pushdown automata
684 -- 705Maggie Hamill, Katerina Goseva-Popstojanova. Exploring the missing link: an empirical study of software fixes
706 -- 737Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Chi Wu-Lee. A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs

Volume 24, Issue 7

497 -- 498Achim D. Brucker, Jacques Julliand. Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing
499 -- 531Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet. Test generation with Satisfiability Modulo Theories solvers in model-based testing
532 -- 557Sébastien Chédor, Thierry Jéron, Christophe Morvan. Test generation from recursive tile systems
558 -- 590Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based testing for concurrent systems with labelled event structures

Volume 24, Issue 6

413 -- 415Jeff Offutt. Editorial: how to get your paper rejected from STVR
416 -- 437Shao-Pu Luan, Chin-Yu Huang. An improved Pareto distribution for modelling the fault data of open source software
438 -- 471María-del-Mar Gallardo, Laura Panizo. Extending model checkers for hybrid system verification: the case study of SPIN
472 -- 495Jan Malburg, Gordon Fraser. Search-based testing using constraint-based mutation

Volume 24, Issue 5

339 -- 340Antonia Bertolino, Yvan Labiche. Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012)
341 -- 366Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro. Automatic testing of GUI-based applications
367 -- 385Hyunsook Do, Md. Hossain. An efficient regression testing approach for PHP web applications: a controlled experiment
386 -- 411Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè. Automatic test case evolution

Volume 24, Issue 4

251 -- 252Jeff Offutt. Globalization - logical flow, motivation, and assumptions
253 -- 288Muzammil Shahbaz, Roland Groz. Analysis and testing of black-box component-based systems by inferring partial models
289 -- 319Augusto Sampaio, Sidney Nogueira, Alexandre Mota, Yoshinao Isobe. Sound and mechanised compositional verification of input-output conformance
320 -- 337Hema Srikanth, Sean Banerjee, Laurie Williams, Jason A. Osborne. Towards the prioritization of system test cases

Volume 24, Issue 3

181 -- 183Jeff Offutt. Globalization-ethics and plagiarism
184 -- 218Raimund Kirner, Walter Haas. Optimizing compilation with preservation of structural code coverage metrics to support software testing
219 -- 250Andrea Arcuri, Lionel C. Briand. A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering

Volume 24, Issue 2

83 -- 84Jeff Offutt. Globalization - standards for research quality
85 -- 123Roy Awedikian, Bernard Yannou. A practical model-based statistical approach for generating functional test cases: application in the automotive industry
124 -- 154Vojo Bubevski. A novel approach to software quality risk management
155 -- 180Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh. Automatic test case generation from Simulink/Stateflow models using model checking

Volume 24, Issue 1

1 -- 2Jeff Offutt. Globalization - references and citations
3 -- 37Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti. Tool support for the Test Template Framework
38 -- 60Yunja Choi. Model checking Trampoline OS: a case study on safety analysis for automotive software
61 -- 82Jalal Mahmud, Allen Cypher, Eben M. Haber, Tessa Lau. Design and industrial evaluation of a tool supporting semi-automated website testing