JBMC: A Bounded Model Checking Tool for Java Bytecode

被引：0
作者：
Brenguier, Romain [1 ]
Cordeiro, Lucas [2 ]
Kroening, Daniel [1 ,3 ]
Schrammel, Peter [1 ,4 ]
机构：
[1] Diffblue Ltd, United Kingdom
[2] University of Manchester, United Kingdom
[3] University of Oxford, United Kingdom
[4] University of Sussex, Brighton, United Kingdom
来源：
arXiv | 2023年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Semantics
引用
收藏
相关论文
共 50 条
[41]   FaultTracer: A change impact and regression fault analysis tool for evolving Java programs [J].
University of Texas at Austin, Austin, TX, United States .
Proc. ACM SIGSOFT Int. Symp. Found. Softw. Eng., FSE,
[42]   Adapting Side Effects Analysis for Modular Program Model Checking [J].
Tkachuk, Oksana ;
Dwyer, Matthew B. .
Proc. Joint Europ. Softw. Eng. Conf. (ESEC) SIGSOFT Symp. Found. Softw. Eng. (FSE-11), 1600, (188-197)
[43]   An energy consumption model for an embedded java virtual machine [J].
Turku Centre for Computer Science, Embedded Systems Laboratory, Lemminkäisenkatu 14A, FIN-20520 Turku, Finland ;
不详 .
1600, 311-325 (2006)
[44]   Model-driven consolidation of Java workloads on multicores [J].
Ansaloni, Danilo ;
Chen, Lydia Y. ;
Smirni, Evgenia ;
Binder, Walter .
Proceedings of the International Conference on Dependable Systems and Networks, 2012,
[45]   Practical application of a translation tool from UML/OCL to java skeleton with JML annotation [J].
Hanada, Kentaro ;
Okano, Kozo ;
Kusumoto, Shinji ;
Miyazawa, Kiyoyuki .
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, 2012, 2 ISAS/SAIC :389-394
[46]   Teaching and learning page replacement algorithms using a Java-based visualization tool [J].
Suranauwarat, Sukanya .
Proceedings of the 13th WSEAS International Conference on Computers - Held as part of the 13th WSEAS CSCC Multiconference, 2009, :537-543
[47]   Bogor: An extensible and highly-modular software model checking framework [J].
Robby ;
Dwyer, Matthew B. ;
Hatcliff, John .
Proc ACM SIGSOFT Symp Found Software Eng, 1600, (267-276)
[48]   An Adaptive Bounded-Confidence Model of Opinion Dynamics on Networks [J].
Kan, Unchitta ;
Feng, Michelle ;
Porter, Mason A. .
arXiv, 2021,
[49]   The safety-critical java memory model: A formal account [J].
University of York, Department of Computer Science, York, United Kingdom .
Lect. Notes Comput. Sci., (246-261)
[50]   Kava: A Java dialect with a uniform object model for lightweight classes [J].
ACM 2001 Java Grande/ISCOPE Conf., 1600, (68-77)
12345