Results 171 to 180 of about 8,682 (215)

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing

ESEC/SIGSOFT FSE, 2023
While the Java Virtual Machine (JVM) plays a vital role in ensuring correct executions of Java applications, testing JVMs via generating and running class files on them can be rather challenging.
Mingyuan Wu, Yi-Cheng Ouyang, Minghai Lu, Jun-Jie Chen, Ying-Quan Zhao, He-Ming Cui, Guowei Yang, Yu-Qun Zhang   +7 more
semanticscholar   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers

International Conference on Software Engineering, 2023
As a widely-used platform to support various Java-bytecode-based applications, Java Virtual Machine (JVM) incurs severe performance loss caused by its real-time program interpretation mechanism.
Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Ling-Ming Zhang   +5 more
semanticscholar   +1 more source

Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces

International Conference on Software Engineering, 2023
Java Virtual Machine (JVM) is the fundamental software system that supports the interpretation and execution of Java bytecode. To support the surging performance demands for the increasingly complex and large-scale Java programs, Just-In-Time (JIT ...
Hao-Xiang Jia, Ming Wen, Zi-Fan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, Hai Jin   +7 more
semanticscholar   +1 more source

Vectorizing Program Ingredients for Better JVM Testing

International Symposium on Software Testing and Analysis, 2023
JVM testing is one of the most widely-used methodologies for guaranteeing the quality of JVMs. Among various JVM testing techniques, synthesis-based JVM testing, which constructs a test program by synthesizing various code snippets (also called program ...
Tian-Chang Gao, Jun-Jie Chen, Ying-Quan Zhao, Yuqun Zhang, Ling-Ming Zhang   +4 more
semanticscholar   +1 more source

MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems

International Conference on Software Engineering, 2023
Taint analysis, i.e., labeling data and propagating the labels through data flows, has been widely used for analyzing program information flows and ensuring system/data security.
Yi-Cheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen, Ming Xu, Yuqun Zhang, Ling-Ming Zhang   +7 more
semanticscholar   +1 more source

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021
Hardware tracing modules such as Intel Processor Trace perform continuous control-flow tracing of an end-to-end program execution with an ultra-low overhead.
Zhiqiang Zuo, Kai Ji, Yi-Fei Wang, W. Tao, Lin-Zhang Wang, Xuan-Dong Li, G. Xu   +6 more
semanticscholar   +1 more source

On Analyzing Virtual Threads – a Structured Concurrency Model for Scalable Applications on the JVM

International Convention on Information and Communication Technology, Electronics and Microelectronics, 2021
Various blocking operations, such as input/output (IO) operations, are an essential functionality of concurrent applications. However, these operations often cause efficiency-related challenges in multithreaded applications because of the single-thread ...
D. Beronić, Paula Pufek, Branko Mihaljević, Aleksander Radovan   +3 more
semanticscholar   +1 more source

Thread-level resource consumption control of tenant custom code in a shared JVM for multi-tenant SaaS

Future generations computer systems, 2021
Software-as-a-Service (SaaS) providers commonly support customization of their services to allow them to attract larger tenant bases. The nature of these customizations in practice ranges from anticipated configuration options to sophisticated code ...
Majid Makki, D. Van Landuyt, B. Lagaisse, W. Joosen   +3 more
semanticscholar   +1 more source

Renaissance: benchmarking suite for parallel applications on the JVM

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2019
Established benchmark suites for the Java Virtual Machine (JVM), such as DaCapo, ScalaBench, and SPECjvm2008, lack workloads that take advantage of the parallel programming abstractions and concurrency primitives offered by the JVM and the Java Class ...
Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, P. Tůma, Martin Studener, L. Bulej, Y. Zheng, A. Villazón, Doug Simon, Thomas Würthinger, Walter Binder   +11 more
semanticscholar   +1 more source

Deep Differential Testing of JVM Implementations

International Conference on Software Engineering, 2019
The Java Virtual Machine (JVM) is the cornerstone of the widely-used Java platform. Thus, it is critical to ensure the reliability and robustness of popular JVM implementations. However, little research exists on validating production JVMs.
Yuting Chen, Ting Su, Zhen-Dong Su
semanticscholar   +1 more source