Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by John D. Gannon
Evaluating a Data Abstraction Testing System Based on Formal Specifications.
Related publications
Testing Refinements of State‐based Formal Specifications
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation
Verifying Consistency and Validity of Formal Specifications by Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Selection for Object-Oriented Software Based on Formal Specifications
Model-Based Formal Specification Directed Testing of Abstract Data Types
ENABLING OR DISABLING WITH OLD SPECIFICATIONS - A New Information System Based on Old Specifications
Incremental Validation of Formal Specifications
Software Engineering Data Analytics: A Framework Based on a Multi-Layered Abstraction Mechanism
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
