Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paul S Corwin
Incremental Validation of Formal Specifications
Related publications
Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Having Fun in Learning Formal Specifications
EasyChair Preprints
Testing Refinements of State‐based Formal Specifications
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Incremental Validation of XML Documents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Executing Formal Specifications Need Not Be Harmful
Software Engineering Journal
Formal Specifications of Software Model Evolution Using Contracts
Verifying Consistency and Validity of Formal Specifications by Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
