Test Scenario Generation Based on Formal Specification and Usage Profile

International Journal of Software Engineering and Knowledge Engineering - Singapore
doi 10.1142/s0218194000000110
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt

Related search

Specification-Based Test Cases Generation for Multi-Level Service Composition

IJCI. International Journal of Computers and Information
2016English

Formal Specification and Verification

2019English

Toward a Formal Specification of Menu-Based Systems

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1987English

Formal Test-Case Generation for UML Statecharts

English

Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis
Applied MathematicsLogic
2020English

Specification-Based Test Oracles With JUnit

2010English

Software Reliability Test Based on Markov Usage Model

Journal of Software
2012English

Studies on Scenario-Test

Shinrigaku Kenkyu
Psychology
1965English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy