UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

The effect of partiality and adaptivity on the complexity of FSM state identification problems

Trudy Instituta sistemnogo programmirovaniâ, 2018-10, Vol.30 (1), p.7-24

2018

Volltextzugriff (PDF)

2-D localization and identification based on SAW ID-tags at 2.5 GHz

IEEE transactions on microwave theory and techniques, 2003-05, Vol.51 (5), p.1584-1590

2003

Volltextzugriff (PDF)

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

Testing Software and Systems, p.197-212

Volltextzugriff (PDF)

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

Testing Software and Systems, p.213-229

Volltextzugriff (PDF)

From Passive to Active FSM Inference via Checking Sequence Construction

Testing Software and Systems, p.126-141

Volltextzugriff (PDF)

Constraint-Based Oracles for Timed Distributed Systems

Testing Software and Systems, p.276-292

Volltextzugriff (PDF)

Homing Sequence Derivation with Quantified Boolean Satisfiability

Testing Software and Systems, p.230-242

Volltextzugriff (PDF)

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

Testing Software and Systems, p.293-310

Volltextzugriff (PDF)

Testing TLS Using Combinatorial Methods and Execution Framework

Testing Software and Systems, p.162-177

Volltextzugriff (PDF)

Fault-Based Testing for Refinement in CSP

Testing Software and Systems, p.21-37

Volltextzugriff (PDF)

AI for Localizing Faults in Spreadsheets

Testing Software and Systems, p.71-87

Volltextzugriff (PDF)

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

Testing Software and Systems, p.108-125

Volltextzugriff (PDF)

GREP: Games for the Runtime Enforcement of Properties

Testing Software and Systems, p.259-275

Volltextzugriff (PDF)

n-Complete Test Suites for IOCO

Testing Software and Systems, p.91-107

Volltextzugriff (PDF)

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

Testing Software and Systems, p.54-70

Volltextzugriff (PDF)

Generating Checking Sequences for User Defined Fault Models

Testing Software and Systems, p.320-325

Volltextzugriff (PDF)

Safety-Complete Test Suites

Testing Software and Systems, p.145-161

Volltextzugriff (PDF)

Using Data Integration for Security Testing

Testing Software and Systems, p.178-194

Volltextzugriff (PDF)

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

Testing Software and Systems, p.3-20

Volltextzugriff (PDF)

Synchronizing Heuristics: Speeding up the Slowest

Testing Software and Systems, p.243-256

Volltextzugriff (PDF)

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Testing Software and Systems, p.313-319

Volltextzugriff (PDF)

Adaptive Localizer Based on Splitting Trees

Testing Software and Systems, p.326-332

Volltextzugriff (PDF)

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

Testing Software and Systems, p.38-53

Volltextzugriff (PDF)

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation

Testing Software and Systems, p.333-339

Volltextzugriff (PDF)

Determination of potential methane production capacity of a granular sludge from a pilot-scale upflow anaerobic sludge blanket reactor using a specific methanogenic activity test

Journal of chemical technology and biotechnology (1986), 2001-06, Vol.76 (6), p.573-578

2001

Volltextzugriff (PDF)

1 – 25 von 207

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(197)
Mit Volltextzugriff
(199)

Publikationsform

Sprache

Englisch
(206)
Türkisch
(2)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

The effect of partiality and adaptivity on the complexity of FSM state identification problems

2-D localization and identification based on SAW ID-tags at 2.5 GHz

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

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

From Passive to Active FSM Inference via Checking Sequence Construction

Constraint-Based Oracles for Timed Distributed Systems

Homing Sequence Derivation with Quantified Boolean Satisfiability

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

Testing TLS Using Combinatorial Methods and Execution Framework

Fault-Based Testing for Refinement in CSP

AI for Localizing Faults in Spreadsheets

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

GREP: Games for the Runtime Enforcement of Properties

n-Complete Test Suites for IOCO

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

Generating Checking Sequences for User Defined Fault Models

Safety-Complete Test Suites

Using Data Integration for Security Testing

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

Synchronizing Heuristics: Speeding up the Slowest

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Adaptive Localizer Based on Splitting Trees

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation

Determination of potential methane production capacity of a granular sludge from a pilot-scale upflow anaerobic sludge blanket reactor using a specific methanogenic activity test

Suchergebnisse filtern