default search action
Software Testing, Verification & Reliability, Volume 24
Volume 24, Number 1, January 2014
- Jeff Offutt:
Globalization - references and citations. 1-2
- Maximiliano Cristiá
, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti:
Tool support for the Test Template Framework. 3-37 - Yunja Choi:
Model checking Trampoline OS: a case study on safety analysis for automotive software. 38-60 - Jalal Mahmud, Allen Cypher, Eben M. Haber, Tessa Lau:
Design and industrial evaluation of a tool supporting semi-automated website testing. 61-82
Volume 24, Number 2, March 2014
- Jeff Offutt:
Globalization - standards for research quality. 83-84
- Roy Awedikian, Bernard Yannou
A practical model-based statistical approach for generating functional test cases: application in the automotive industry. 85-123 - Vojo Bubevski:
A novel approach to software quality risk management. 124-154 - Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh:
Automatic test case generation from Simulink/Stateflow models using model checking. 155-180
Volume 24, Number 3, May 2014
- Jeff Offutt:
Globalization-ethics and plagiarism. 181-183
- Raimund Kirner
Optimizing compilation with preservation of structural code coverage metrics to support software testing. 184-218 - Andrea Arcuri, Lionel C. Briand:
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering. 219-250
Volume 24, Number 4, June 2014
- Jeff Offutt:
Globalization - logical flow, motivation, and assumptions. 251-252
- Muzammil Shahbaz
Analysis and testing of black-box component-based systems by inferring partial models. 253-288 - Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
Sound and mechanised compositional verification of input-output conformance. 289-319 - Hema Srikanth, Sean Banerjee, Laurie A. Williams, Jason A. Osborne:
Towards the prioritization of system test cases. 320-337
Volume 24, Number 5, August 2014
- Antonia Bertolino
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). 339-340 - Leonardo Mariani
Automatic testing of GUI-based applications. 341-366 - Hyunsook Do, Md. Hossain:
An efficient regression testing approach for PHP web applications: a controlled experiment. 367-385 - Mehdi MirzaAghaei, Fabrizio Pastore
Automatic test case evolution. 386-411
Volume 24, Number 6, September 2014
- Jeff Offutt:
Editorial: how to get your paper rejected from STVR. 413-415
- Shao-Pu Luan, Chin-Yu Huang:
An improved Pareto distribution for modelling the fault data of open source software. 416-437 - María-del-Mar Gallardo, Laura Panizo
Extending model checkers for hybrid system verification: the case study of SPIN. 438-471 - Jan Malburg, Gordon Fraser:
Search-based testing using constraint-based mutation. 472-495
Volume 24, Number 7, November 2014
- Achim D. Brucker
Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. 497-498 - Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet:
Test generation with Satisfiability Modulo Theories solvers in model-based testing. 499-531 - Sébastien Chédor, Thierry Jéron
Test generation from recursive tile systems. 532-557 - Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems with labelled event structures. 558-590
Volume 24, Number 8, December 2014
- Achim D. Brucker
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. 591-592 - Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler:
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs. 593-607 - Eunkyoung Jee, Donghwan Shin
Automated test case generation for FBD programs implementing reactor protection system software. 608-628 - Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias:
RepOK-based reduction of bounded exhaustive testing. 629-655 - Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
A random testing approach using pushdown automata. 656-683
- Maggie Hamill, Katerina Goseva-Popstojanova
Exploring the missing link: an empirical study of software fixes. 684-705 - 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. 706-737
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: