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 条
[21]   A tool for static detection of timing channels in Java [J].
Lux, Alexander ;
Starostin, Artem .
Journal of Cryptographic Engineering, 2011, 1 (04) :303-313
[22]   Chianti: A change impact analysis tool for Java programs [J].
Division of Computer and Information Sciences, Rutgers University, 110 Frelinghuysen Road, Piscataway, NJ 08854, United States ;
不详 ;
不详 .
1600, 664-665 (2005)
[23]   XML technologies for the Omaha System: A data model, a Java tool and several case studies supporting home healthcare [J].
Dep. of Internal Medicine and Public Health, Via S. Salvatore, 1, 67010 L'Aquila, Italy ;
不详 .
Comput. Methods Programs Biomed., 1600, 3 (297-312)
[24]   Jalapa: Securing Java with Local Policies. Tool Demonstration [J].
Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy ;
不详 ;
不详 .
Electron. Notes Theor. Comput. Sci., 5 (145-151)
[25]   Keshmesh: A tool for detecting and fixing Java concurrency bug patterns [J].
University of Illinois, Urbana, IL, United States .
SPLASH Compil. - Proc. OOPSLA, Onward!, GPCE, DLS, SPLASH Companion, (39-40)
[26]   TestEra: A tool for testing Java programs using alloy specifications [J].
Electrical and Computer Engineering, University of Texas, Austin, TX, United States ;
不详 .
IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE, Proc., (608-611)
[27]   A tool for scalable profiling and tracing of Java and native code interactions [J].
Dube, Parijat ;
Seelam, Seetharami ;
Liu, Yanbin ;
Ito, Megumi ;
Ling, Thomas ;
Hack, Michel ;
Fong, Liana ;
Johnson, Graeme ;
Dawson, Michael ;
Zhang, Li ;
Gao, Yuqing .
Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011, 2011, :37-46
[28]   A Java CPU calibration tool for load balancing in distributed applications [J].
Paroux, Guilhem ;
Toursel, Bernard ;
Olejnik, Richard ;
Felea, Violeta .
Proc. ISPDC Third Int. Symp. Parall. Distr. Comput. HeteroPar Third Int. Workshop Algorithms Models Tools Parall. Comput., 1600, (155-159)
[29]   ExecutionFlow: A tool to compute test paths of Java methods and constructors [J].
Niemiec, William ;
Silva, Keslley ;
Cota, Erika .
ACM International Conference Proceeding Series, 2021, :221-226
[30]   Automated environment generation for software model checking [J].
Tkachuk, Oksana ;
Dwyer, Matthew B. ;
Păsăreanu, Corina S. .
Proc. - IEEE Int. Conf. Autom. Softw. Eng., ASE, 1600, (116-127)
12345