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

doi 10.1109/icst.2009.20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
1999English

Incremental Validation of Formal Specifications

English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Evaluating a Data Abstraction Testing System Based on Formal Specifications.

1980English

Yusuf Franko S Caricatures Under the Conceptual Blending Magnifying Glass

Osmanli Mirasi Arastirmalari Dergisi
2019English

Human Spermatogonial Stem Cells Scrutinized Under the Single-Cell Magnifying Glass

Cell Stem Cell
Molecular MedicineGeneticsCell Biology
2019English

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Formal Specifications of Software Model Evolution Using Contracts

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy