JOURNAL ARTICLE
Event-based runtime verification of java programs
Keywords:
Computer science Runtime verification Java Programming language Event (particle physics) Operating system Java Modeling Language Real time Java Formal verification Java annotation
Metrics
35
Cited By
5.60
FWCI (Field Weighted Citation Impact)
0
Refs
0.96
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
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
Predictive Runtime Verification of Java Programs
Journal: Advanced materials research Year: 2014 Vol: 1078 Pages: 333-336
BOOK-CHAPTER
Runtime Verification of Java Programs for Scenario-Based Specifications
Xuandong LiWang LinzhangXiaokang QiuLei BinYuan JiesongJianhua ZhaoGuoliang Zheng
Lecture notes in computer science Year: 2006 Pages: 94-105
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