Results 271 to 280 of about 109,966 (284)

Modeling and simulating multiclock reactive systems in Java

2012
Hao Liu
exaly  

Beweisen statt Testen - Höhere Zuverlässigkeit durch die Java Modeling Language

2008
openaire   +1 more source

Modeling the Java Bytecode Verifier

Science of Computer Programming, 2013
exaly  

A Domain-Oriented, Java Specification Language

2015
Duc Minh Le
exaly  

Applying Large Language Models to Enhance the Assessment of Java Programming Assignments

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Skyler Grandel, Douglas Schmidt, Kevin Leach   +2 more
openaire   +1 more source

Incorporating language processing into Java applications: a JavaCC tutorial

IEEE Software, 2004
exaly  

Using Large Language Models to Extract UML Class Diagrams from Java Programs

2025 8th International Conference on Software and System Engineering (ICoSSE)
Hanan Abdulwahab Siala, Kevin Lano
openaire   +1 more source

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

Marieke Huisman
exaly  

Detection of Resource Leaks in Java Programs: Effectiveness Analysis of Traditional Models and Language Models

International Journal of Software and Informatics
Tianyang Liu, Jiawei Ye, Weixing Ji, Hui Liu   +3 more
openaire   +1 more source

VulKiller: Java Web Vulnerability Detection with Code Property Graph and Large Language Models

ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)
Xingchen Chen, Baizhu Wang, Mengjun Zhang, Yaqin Cao, Qixu Liu   +4 more
openaire   +1 more source