![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Software Testing, Verification & Reliability, Volume 29
Volume 29, Numbers 1-2, January 2019
Editorial
- René Just, Jens Krinke, Nan Li, José Miguel Rojas
:
Special issue on mutation testing and analysis.
- Birgitta Lindström
, András Márki:
On strong mutation and the theory of subsuming logic-based mutants. - Misun Yu
, Yu-Seung Ma
:
Possibility of cost reduction by mutant clustering according to the clustering scope. - Donghwan Shin
, Shin Yoo, Mike Papadakis
, Doo-Hwan Bae:
Empirical evaluation of mutation-based test case prioritization techniques. - Matthew Stephan
, James R. Cordy:
MuMonDE: A framework for evaluating model clone detectors using model mutation analysis. - Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Fault-based test generation for regular expressions by mutation. - Jacob Krüger
, Mustafa Al-Hajjaji, Thomas Leich, Gunter Saake:
Mutation operators for feature-oriented software product lines.
Volume 29, Number 3, May 2019
- Jeff Offutt
:
I love journal papers and you should too.
- André Takeshi Endo
, Adenilso Simão
:
Event tree algorithms to generate test sequences for composite Web services. - Rawad Abou Assi, Chadi Trad, Marwan Maalouf, Wes Masri
:
Coincidental correctness in the Defects4J benchmark.
Volume 29, Numbers 4-5, June 2019
- Jeff Offutt
:
Farewell and thanks for all the reviews.
- Ana Rosario Espada
, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo
, Pedro Merino
:
A formal approach to automatically analyse extra-functional properties in mobile applications. - Alireza Salahirad
, Hussein K. Almulla
, Gregory Gay
:
Choosing the fitness function for the job: Automated generation of test suites that detect real faults.
Volume 29, Numbers 6-7, September 2019
- Robert M. Hierons
:
The world changes.
- Gul Jabeen
, Ping Luo, Wasif Afzal:
An improved software reliability prediction model by using high precision error iterative analysis method. - Mustafa Al-tekreeti
, Atef Abdrabou
, Kshirasagar Naik:
An end-user-centric test generation methodology for performance evaluation of mobile networked applications.
Volume 29, Number 8, December 2019
- Tao Xie:
Editorial: New Chapter Ahead.
- Vidhyashree Nagaraju
, Lance Fiondella
, Thierry Wandji:
A heterogeneous single changepoint software reliability growth model framework. - Luca Borzacchiello, Emilio Coppa
, Daniele Cono D'Elia
, Camil Demetrescu:
Memory models in symbolic execution: key ideas and new thoughts.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.