Evaluating a Data Abstraction Testing System Based on Formal Specifications.

doi 10.21236/ada097231
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
1999English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

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

2009English

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Test Selection for Object-Oriented Software Based on Formal Specifications

1998English

Model-Based Formal Specification Directed Testing of Abstract Data Types

English

ENABLING OR DISABLING WITH OLD SPECIFICATIONS - A New Information System Based on Old Specifications

2006English

Incremental Validation of Formal Specifications

English

Software Engineering Data Analytics: A Framework Based on a Multi-Layered Abstraction Mechanism

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy