Login / Signup
Runtime Verification of Java Programs for Scenario-Based Specifications.
Xuandong Li
Linzhang Wang
Xiaokang Qiu
Bin Lei
Jiesong Yuan
Jianhua Zhao
Guoliang Zheng
Published in:
Ada-Europe (2006)
Keyphrases
</>
java programs
multi threaded
software components
java language
model checking
test suite
high level
formal specification
java virtual machine
artificial intelligence
data processing
computer architecture
multi core processors