Automatic Testing From Formal Specifications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-73770-4_6
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
1999English

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Evaluating a Data Abstraction Testing System Based on Formal Specifications.

1980English

Automatic Creation of Interface Specifications From Ontologies

2003English

Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation

2009English

Incremental Validation of Formal Specifications

English

Having Fun in Learning Formal Specifications

EasyChair Preprints
2019English

Automatic Programs Generating From Non-Procedural Specifications for Gpus

Bulletin of the South Ural State University. Series "Computational Mathematics and Software Engineering"
2014English

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy