Login / Signup
Test Scenario Generation Based on Formal Specification and Usage Profile.
Kai H. Chang
Shih-Sung Liao
Richard Chapman
Chun-Yu Chen
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2000)
Keyphrases
</>
formal specification
model checking
object oriented design
reverse engineering
specification languages
specification language
formal methods
process algebra
data abstraction
real world
concurrent systems
grid workflow
artificial intelligence
software components
machine learning