On Test Derivation From Partial Specifications

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35533-7_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Test Generation Based on Symbolic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Synthesizing Adaptive Test Strategies From Temporal Logic Specifications

2016English

Influence of the Changed USP Specifications on Disintegration Test Performance

Dissolution Technologies
Pharmaceutical Science
2010English

Test Selection for Object-Oriented Software Based on Formal Specifications

1998English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2008English

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Derivation of a Test Statistic for Emphysema Quantification

2016English

RainIDF: Automated Derivation of Rainfall Intensity–duration–frequency Relationship From Annual Maxima and Partial Duration Series

Journal of Hydroinformatics
Geotechnical EngineeringCivilEngineering GeologyAtmospheric ScienceStructural EngineeringWater ScienceTechnology
2013English

Derivation of Asymptotic Dynamical Systems With Partial Lie Symmetry Groups

Journal of Applied Mathematics
Applied Mathematics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy