BOOK-CHAPTER
Runtime Verification of Java Programs for Scenario-Based Specifications
Xuandong LiWang LinzhangXiaokang QiuLei BinYuan JiesongJianhua ZhaoGuoliang Zheng
Year: 2006 Lecture notes in computer science Pages: 94-105 Publisher: Springer Science+Business Media
Keywords:
Computer science Sequence diagram Consistency (knowledge bases) Programming language Java Sequence (biology) Runtime verification Unified Modeling Language Formal verification Software
Metrics
6
Cited By
1.00
FWCI (Field Weighted Citation Impact)
14
Refs
0.75
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Software Reliability and Analysis Research
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Event-based runtime verification of java programs
Marcelo d’AmorimKlaus Havelund
Journal: ACM SIGSOFT Software Engineering Notes Year: 2005 Vol: 30 (4)Pages: 1-7
JOURNAL ARTICLE
Event-based runtime verification of java programs
Marcelo d’AmorimKlaus Havelund
Year: 2005 Pages: 1-7
JOURNAL ARTICLE
Predictive Runtime Verification of Java Programs
Journal: Advanced materials research Year: 2014 Vol: 1078 Pages: 333-336
JOURNAL ARTICLE
Specification and Runtime Verification of Java Card Programs
Umberto Souza da CostaAnamaria Martins MoreiraMartín A. MusicantePlácido A. Souza Neto
Journal: Electronic Notes in Theoretical Computer Science Year: 2009 Vol: 240 Pages: 61-78
JOURNAL ARTICLE
UML interaction model-driven runtime verification of Java programs
Xiaogang LiXiaokang QiuLin WangX. ChenZhi‐Hua ZhouLi YuJia-Qiang Zhao
Journal: IET Software Year: 2011 Vol: 5 (2)Pages: 142-156