- 2014
- Andrea Arcuri, Lionel C. Briand:
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. Softw. Test. Verification Reliab. 24(3): 219-250 (2014) - Roy Awedikian, Bernard Yannou:
A practical model-based statistical approach for generating functional test cases: application in the automotive industry. Softw. Test. Verification Reliab. 24(2): 85-123 (2014) - Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24(8): 629-655 (2014) - Antonia Bertolino, Yvan Labiche:
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). Softw. Test. Verification Reliab. 24(5): 339-340 (2014) - Achim D. Brucker, Jacques Julliand:
Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. 24(7): 497-498 (2014) - Achim 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. Softw. Test. Verification Reliab. 24(8): 591-592 (2014) - Vojo Bubevski:
A novel approach to software quality risk management. Softw. Test. Verification Reliab. 24(2): 124-154 (2014) - Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet:
Test generation with Satisfiability Modulo Theories solvers in model-based testing. Softw. Test. Verification Reliab. 24(7): 499-531 (2014) - Sébastien Chédor, Thierry Jéron, Christophe Morvan:
Test generation from recursive tile systems. Softw. Test. Verification Reliab. 24(7): 532-557 (2014) - Yunja Choi:
Model checking Trampoline OS: a case study on safety analysis for automotive software. Softw. Test. Verification Reliab. 24(1): 38-60 (2014) - Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti:
Tool support for the Test Template Framework. Softw. Test. Verification Reliab. 24(1): 3-37 (2014) - Hyunsook Do, Md. Hossain:
An efficient regression testing approach for PHP web applications: a controlled experiment. Softw. Test. Verification Reliab. 24(5): 367-385 (2014) - Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson:
A random testing approach using pushdown automata. Softw. Test. Verification Reliab. 24(8): 656-683 (2014) - María-del-Mar Gallardo, Laura Panizo:
Extending model checkers for hybrid system verification: the case study of SPIN. Softw. Test. Verification Reliab. 24(6): 438-471 (2014) - Maggie Hamill, Katerina Goseva-Popstojanova:
Exploring the missing link: an empirical study of software fixes. Softw. Test. Verification Reliab. 24(8): 684-705 (2014) - Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler:
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. Softw. Test. Verification Reliab. 24(8): 593-607 (2014) - Gwan-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. Softw. Test. Verification Reliab. 24(8): 706-737 (2014) - Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae:
Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test. Verification Reliab. 24(8): 608-628 (2014) - Raimund Kirner, Walter Haas:
Optimizing compilation with preservation of structural code coverage metrics to support software testing. Softw. Test. Verification Reliab. 24(3): 184-218 (2014) - Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Model-based testing for concurrent systems with labelled event structures. Softw. Test. Verification Reliab. 24(7): 558-590 (2014) - Shao-Pu Luan, Chin-Yu Huang:
An improved Pareto distribution for modelling the fault data of open source software. Softw. Test. Verification Reliab. 24(6): 416-437 (2014) - Jalal Mahmud, Allen Cypher, Eben M. Haber, Tessa Lau:
Design and industrial evaluation of a tool supporting semi-automated website testing. Softw. Test. Verification Reliab. 24(1): 61-82 (2014) - Jan Malburg, Gordon Fraser:
Search-based testing using constraint-based mutation. Softw. Test. Verification Reliab. 24(6): 472-495 (2014) - Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Automatic testing of GUI-based applications. Softw. Test. Verification Reliab. 24(5): 341-366 (2014) - Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Automatic test case evolution. Softw. Test. Verification Reliab. 24(5): 386-411 (2014) - Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh:
Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verification Reliab. 24(2): 155-180 (2014) - Jeff Offutt:
Globalization - references and citations. Softw. Test. Verification Reliab. 24(1): 1-2 (2014) - Jeff Offutt:
Globalization - standards for research quality. Softw. Test. Verification Reliab. 24(2): 83-84 (2014) - Jeff Offutt:
Globalization-ethics and plagiarism. Softw. Test. Verification Reliab. 24(3): 181-183 (2014) - Jeff Offutt:
Globalization - logical flow, motivation, and assumptions. Softw. Test. Verification Reliab. 24(4): 251-252 (2014)