Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Manoranjan Satpathy
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Testing Refinements of State‐based Formal Specifications
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Verifying Consistency and Validity of Formal Specifications by Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Evaluating a Data Abstraction Testing System Based on Formal Specifications.
Automatic Creation of Interface Specifications From Ontologies
Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation
Incremental Validation of Formal Specifications
Having Fun in Learning Formal Specifications
EasyChair Preprints
Automatic Programs Generating From Non-Procedural Specifications for Gpus
Bulletin of the South Ural State University. Series "Computational Mathematics and Software Engineering"
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
