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] UTBot at the SBFT 2023 Java Tool Competition
    Ivanov, Dmitry
    Menshutin, Alexey
    Pelevin, Maxim
    Stepanov, Daniil
    Fokin, Denis
    Kamenev, Yury
    Kulikov, Egor
    Kononov, Artemiy
    Pospelov, Sergey
    Volkov, Ivan
    Lisevych, Alena
    Yuldashev, Timur
    Stroganov, Nikita
    Tarbeev, Andrey
    Proceedings - 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2023, 2023, : 68 - 69
  • [22] Chianti: A change impact analysis tool for Java programs
    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
    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
    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
    University of Illinois, Urbana, IL, United States
    SPLASH Compil. - Proc. OOPSLA, Onward!, GPCE, DLS, SPLASH Companion, (39-40):
  • [26] A tool for scalable profiling and tracing of Java and native code interactions
    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
  • [27] TestEra: A tool for testing Java programs using alloy specifications
    Electrical and Computer Engineering, University of Texas, Austin, TX, United States
    不详
    IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE, Proc., (608-611):
  • [28] ExecutionFlow: A tool to compute test paths of Java methods and constructors
    Niemiec, William
    Silva, Keslley
    Cota, Erika
    ACM International Conference Proceeding Series, 2021, : 221 - 226
  • [29] A Java CPU calibration tool for load balancing in distributed applications
    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):
  • [30] Automated environment generation for software model checking
    Tkachuk, Oksana
    Dwyer, Matthew B.
    Păsăreanu, Corina S.
    Proc. - IEEE Int. Conf. Autom. Softw. Eng., ASE, 1600, (116-127):
12345