Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by SHIH-SUNG LIAO
Test Scenario Generation Based on Formal Specification and Usage Profile
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Related publications
Specification-Based Test Cases Generation for Multi-Level Service Composition
IJCI. International Journal of Computers and Information
Formal Specification and Verification
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Formal Test-Case Generation for UML Statecharts
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
Specification-Based Test Oracles With JUnit
Software Reliability Test Based on Markov Usage Model
Journal of Software
Studies on Scenario-Test
Shinrigaku Kenkyu
Psychology
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
