UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 796

Sortiert nach

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2017

Link zum Volltext

Verfügbarkeit prüfen

Genotyping of rhinoviruses in children and adults during 2014–2016

Journal of clinical virology, 2016-09, Vol.82, p.S119-S119

2016

Link zum Volltext

Verfügbarkeit prüfen

The efficacy of tonsillectomy in chronic tonsillitis patients as demonstrated by the neutrophil-to-lymphocyte ratio

Journal of laryngology and otology, 2015-04, Vol.129 (4), p.386-391

Yenigun, A

2015

Link zum Volltext

Verfügbarkeit prüfen

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

Testing Software and Systems, p.213-229

Link zum Volltext

Verfügbarkeit prüfen

A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction

Testing Software and Systems, p.197-212

Link zum Volltext

Verfügbarkeit prüfen

From Passive to Active FSM Inference via Checking Sequence Construction

Testing Software and Systems, p.126-141

Link zum Volltext

Verfügbarkeit prüfen

Investigation of the relationship between neutrophil-to-lymphocyte ratio and obstructive sleep apnoea syndrome

Journal of laryngology and otology, 2015-09, Vol.129 (9), p.887-892

2015

Link zum Volltext

Verfügbarkeit prüfen

Constraint-Based Oracles for Timed Distributed Systems

Testing Software and Systems, p.276-292

Link zum Volltext

Verfügbarkeit prüfen

Homing Sequence Derivation with Quantified Boolean Satisfiability

Testing Software and Systems, p.230-242

Link zum Volltext

Verfügbarkeit prüfen

Testing TLS Using Combinatorial Methods and Execution Framework

Testing Software and Systems, p.162-177

Link zum Volltext

Verfügbarkeit prüfen

Superior semicircular canal dehiscence repair with small middle fossa craniotomy using an oto-microscopic and co-endoscopic assisted approach

Journal of laryngology and otology, 2022-06, Vol.136 (6), p.559-561

2022

Link zum Volltext

Verfügbarkeit prüfen

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

Testing Software and Systems, p.108-125

Link zum Volltext

Verfügbarkeit prüfen

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

Testing Software and Systems, p.293-310

Link zum Volltext

Verfügbarkeit prüfen

AI for Localizing Faults in Spreadsheets

Testing Software and Systems, p.71-87

Link zum Volltext

Verfügbarkeit prüfen

Fault-Based Testing for Refinement in CSP

Testing Software and Systems, p.21-37

Link zum Volltext

Verfügbarkeit prüfen

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

Testing Software and Systems, p.54-70

Link zum Volltext

Verfügbarkeit prüfen

GREP: Games for the Runtime Enforcement of Properties

Testing Software and Systems, p.259-275

Link zum Volltext

Verfügbarkeit prüfen

Generating Checking Sequences for User Defined Fault Models

Testing Software and Systems, p.320-325

Link zum Volltext

Verfügbarkeit prüfen

n-Complete Test Suites for IOCO

Testing Software and Systems, p.91-107

Link zum Volltext

Verfügbarkeit prüfen

Safety-Complete Test Suites

Testing Software and Systems, p.145-161

Link zum Volltext

Verfügbarkeit prüfen

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Testing Software and Systems, p.313-319

Link zum Volltext

Verfügbarkeit prüfen

Using Data Integration for Security Testing

Testing Software and Systems, p.178-194

Link zum Volltext

Verfügbarkeit prüfen

Synchronizing Heuristics: Speeding up the Slowest

Testing Software and Systems, p.243-256

Link zum Volltext

Verfügbarkeit prüfen

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

Testing Software and Systems, p.3-20

Link zum Volltext

Verfügbarkeit prüfen

Adaptive Localizer Based on Splitting Trees

Testing Software and Systems, p.326-332

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 796

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(657)
Mit Volltextzugriff
(748)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

3 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(569)
Life Sciences & Biomedicine
(311)
Technology
(256)
Computer Science
(204)
Computer Science, Theory & Methods
(175)
Humans
(155)
Exact Sciences And Technology
(148)
Applied Sciences
(142)
Computer Science, Information Systems
(138)
Computer Science, Software Engineering
(126)
Computer Science; Control Theory; Systems
(117)
Female
(113)
Computer Science, Artificial Intelligence
(111)
Male
(104)
Adult
(87)
Middle Aged
(78)
Software
(67)
Otorhinolaryngology
(63)
Physical Sciences
(62)
Surgery
(47)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(4)
... seit 90 Tagen
(12)

Menü

Weitere Dienste

Einstellungen

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Genotyping of rhinoviruses in children and adults during 2014–2016

The efficacy of tonsillectomy in chronic tonsillitis patients as demonstrated by the neutrophil-to-lymphocyte ratio

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction

From Passive to Active FSM Inference via Checking Sequence Construction

Investigation of the relationship between neutrophil-to-lymphocyte ratio and obstructive sleep apnoea syndrome

Constraint-Based Oracles for Timed Distributed Systems

Homing Sequence Derivation with Quantified Boolean Satisfiability

Testing TLS Using Combinatorial Methods and Execution Framework

Superior semicircular canal dehiscence repair with small middle fossa craniotomy using an oto-microscopic and co-endoscopic assisted approach

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

AI for Localizing Faults in Spreadsheets

Fault-Based Testing for Refinement in CSP

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

GREP: Games for the Runtime Enforcement of Properties

Generating Checking Sequences for User Defined Fault Models

n-Complete Test Suites for IOCO

Safety-Complete Test Suites

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Using Data Integration for Security Testing

Synchronizing Heuristics: Speeding up the Slowest

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

Adaptive Localizer Based on Splitting Trees

Suchergebnisse filtern