Amanote Research
Register
Sign In
Model-Based Formal Specification Directed Testing of Abstract Data Types
doi 10.1109/cmpsac.1993.404241
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
X. Jia
Publisher
IEEE Comput. Soc. Press
Related search
The Algorithmic Specification Method of Abstract Data Types: An Overview
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Abstract Model of Three-Dimensional Spatial Data Types
Formal Model Based Specification of Authorization Framework for Ubiquitous Enterprise Computing Environment
International Journal of Computer Applications
Testing Strategies for Model Specification
Applied Mathematics and Computation
Computational Mathematics
Applied Mathematics
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Approaches to Specification-Based Testing
ACM SIGSOFT Software Engineering Notes
Formal Specification of a Truck Geo-Location Big-Data Application
International Journal of Advanced Computer Science and Applications
Computer Science
Evaluating a Data Abstraction Testing System Based on Formal Specifications.
A Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
