ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Software Testing Verification and Reliability
Latest Publications
TOTAL DOCUMENTS
796
(FIVE YEARS 99)
H-INDEX
46
(FIVE YEARS 2)
Published By Wiley (John Wiley & Sons)
1099-1689, 0960-0833
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Combinatorial methods for testing Internet of Things smart home systems
Software Testing Verification and Reliability
◽
10.1002/stvr.1805
◽
2021
◽
Author(s):
Bernhard Garn
◽
Dominik‐Philip Schreiber
◽
Dimitris E. Simos
◽
Rick Kuhn
◽
Jeff Voas
◽
...
Keyword(s):
Internet Of Things
◽
Smart Home
◽
Combinatorial Methods
◽
Home Systems
Download Full-text
A mapping study on mutation testing for mobile applications
Software Testing Verification and Reliability
◽
10.1002/stvr.1801
◽
2021
◽
Author(s):
Henrique Neves Silva
◽
Jackson Prado Lima
◽
Silvia Regina Vergilio
◽
Andre Takeshi Endo
Keyword(s):
Mobile Applications
◽
Mutation Testing
◽
Mapping Study
Download Full-text
HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization
Software Testing Verification and Reliability
◽
10.1002/stvr.1802
◽
2021
◽
Author(s):
Jong‐In Jang
◽
Duksan Ryu
◽
Jongmoon Baik
Keyword(s):
Fault Localization
◽
Cost Effective
◽
Higher Order
Download Full-text
Issue Information
Software Testing Verification and Reliability
◽
10.1002/stvr.1776
◽
2021
◽
Vol 32
(1)
◽
Download Full-text
Model checking, testing and debugging
Software Testing Verification and Reliability
◽
10.1002/stvr.1803
◽
2021
◽
Author(s):
Robert M. Hierons
◽
Tao Xie
Keyword(s):
Model Checking
◽
Testing And Debugging
Download Full-text
A mutation framework for evaluating security analysis tools in IoT applications
Software Testing Verification and Reliability
◽
10.1002/stvr.1799
◽
2021
◽
Author(s):
Manar H. Alalfi
◽
Sajeda Parveen
◽
Bara' Nazzal
Keyword(s):
Security Analysis
◽
Iot Applications
◽
Analysis Tools
Download Full-text
Issue Information
Software Testing Verification and Reliability
◽
10.1002/stvr.1744
◽
2021
◽
Vol 31
(8)
◽
Download Full-text
Property generation/verification and empirical studies
Software Testing Verification and Reliability
◽
10.1002/stvr.1800
◽
2021
◽
Author(s):
Robert M. Hierons
◽
Tao Xie
Keyword(s):
Empirical Studies
Download Full-text
Issue Information
Software Testing Verification and Reliability
◽
10.1002/stvr.1743
◽
2021
◽
Vol 31
(7)
◽
Download Full-text
Effective fault localization and context‐aware debugging for concurrent programs
Software Testing Verification and Reliability
◽
10.1002/stvr.1797
◽
2021
◽
Author(s):
Justin Chu
◽
Tingting Yu
◽
Jane Huffman Hayes
◽
Xue Han
◽
Yu Zhao
Keyword(s):
Fault Localization
◽
Concurrent Programs
◽
Context Aware
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close