Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by KAI H. CHANG
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
