Search Results - Java source codes

A patterns based reverse engineering approach for java source code

Authors: Couto, Rui Ribeiro, António Nestor Campos, J. Creissac et al.

Contributors: Couto, Rui Ribeiro, António Nestor Campos, J. Creissac et al.

File Description: application/pdf

Relation: 978-1-4673-5574-2; 1550-6215

Availability: https://hdl.handle.net/1822/36003

MODELING JAVA SOURCE CODE IN A SYMBOLIC DESCRIPTION LANGUAGE

Additional Titles: Improvement of RETUSS for Real-time Ensuring Traceability between Sequence Diagrams and Java Source Codes

Authors: 50283932 Katayama, Tetsuro Arima, Kaoru

Index Terms: Software quality, Traceability, UML, Sequence diagram, Java source code, Departmental Bulletin Paper., VoR.

URL: http://hdl.handle.net/10458/00010290
https://miyazaki-u.repo.nii.ac.jp/records/6431
https://miyazaki-u.repo.nii.ac.jp/record/6431/files/Engineering_50_p213-p218.pdf

Normalization of Java Source Codes

Authors: Ouairy, Léopold Le Bouder, Hélène Lanet, Jean-Louis

Contributors: Ouairy, Léopold Le Bouder, Hélène Lanet, Jean-Louis

Source: Lecture Notes in Computer Science ISBN: 9783030129415

Subject Terms: Java Card, identifier renaming, 0202 electrical engineering, electronic engineering, information engineering, ChuckyJava, 02 engineering and technology, applet security, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01976747/file/paper_32.pdf
https://inria.hal.science/hal-01976747v1/document
https://inria.hal.science/hal-01976747v1
https://doi.org/10.1007/978-3-030-12942-2_4

Development of a System for Analysing Method Names in Java Source Code

Authors: Nguyen, Emily Mi Luong

Availability: https://hdl.handle.net/11250/3002620

JDATATRANS for array obfuscation in Java source codes to defeat reverse engineering from decompiled codes

Authors: Sivadasan, Praveen Lal, P Sojan Sivadasan, Naveen

Source: Proceedings of the 2nd Bangalore Annual Compute Conference. :1-4

Subject Terms: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Cryptography and Security (cs.CR)

Access URL: http://arxiv.org/abs/0809.3503

Reducing Complexity of Java Source Codes in Structural Testing by Using Program Slicing

Authors: Aung, Myint Myitzu Win, Kay Thi

Source: International Journal of Computer (IJC); Vol. 30 No. 1 (2018); 78-85; 2307-4523; 2307-4523

Index Terms: Program Slicing, Tree Slicing, Symbolic Execution., info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article

URL: https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1270
http://worldcat.org/search?q=on:JOIJC+https://ijcjournal.org/index.php/InternationalJournalOfComputer/oai+InternationalJournalOfComputer+CNTCOLL
https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1270/509
https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1270/509

Source code analysis techniques in property verification of real Java code [Dokument elektroniczny] / Krzysztof Jakubczyk.

Authors: Jakubczyk, Krzysztof. Schubert, Aleksy. Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechaniki.

Contributors: Jakubczyk, Krzysztof. Schubert, Aleksy. Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechaniki.

Source: Zawiera bibliogr.

Subject Terms: Oprogramowanie -- kontrola jakości -- rozprawy akademickie, Java (język programowania) -- rozprawy akademickie

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:2989322&theme=nukat

Degree: Praca doktorska. Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechaniki, 2013.

Evaluating and Securing Text-Based Java Code through Static Code Analysis

Authors: Yang, Jeong Lee, Young Fernandez, Amanda et al.

Source: Journal of Cybersecurity Education, Research and Practice. Jun 2020 2020(1).

Peer Reviewed: Y

Page Count: 28

Descriptors: Computer Security, Programming Languages, Programming, Computer Uses in Education, Technology Uses in Education, Error Patterns, Computer Science Education, Data Analysis, Textbooks, Electronic Publishing, Coding

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System.

Contributors: James, Alexander

Source: Conference: Proposed for presentation at the IEEE International High Assurance System Engineering Symposium (HASE 2012) held October 25-27, 2012 in Omaha, NE.

File Description: Medium: X; Size: 8 p.

Access URL: http://www.osti.gov/scitech/biblio/1064312

JConstHide: A Framework for Java Source Code Constant Hiding

Authors: Sivadasan, Praveen Lal, P Sojan

Index Terms: Computer Science - Cryptography and Security, text

URL: http://arxiv.org/abs/0904.3458

Array Based Java Source Code Obfuscation Using Classes with Restructured Arrays

Authors: Sivadasan, Praveen Lal, P. Sojan

Index Terms: Computer Science - Cryptography and Security, text

URL: http://arxiv.org/abs/0807.4309

Java Source Code Analysis for API Migration to Embedded Systems.

Contributors: Perry, James

Source: IEEE TRANSACTIONS ON RELIABILITY - SPECIAL SECTION ON SOFTWARE QUALITY

File Description: Medium: X; Size: 26 p.

Access URL: http://www.osti.gov/scitech/biblio/1183110

Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms

Authors: Jansen, Karsten

Source: Jansen, Karsten. Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms. Masteroppgave, University of Oslo, 2010

Availability: http://hdl.handle.net/10852/8791
https://www.duo.uio.no/bitstream/handle/10852/8791/11/Jansen_Master.pdf

JxPlatform: A Tool Platform for Static Analysis of Java Source Code; [JxPlatform: Javaソースコード向け静的解析ツールプラットフォーム]

Authors: Maruyama, Katsuhisa

Subject Terms: Computer software maintenance, Data flow analysis, Java programming language, Software design, Analysis tools, Bytecodes, Code analysis, Control-flow, Dataflow, Development activity, Java source codes, Maintenance activity, Software development and maintenances, Source code analysis, Data flow graphs

Relation: https://doi.org/10.11309/jssst.41.4_28; Computer Software; 41; 28; 48; https://hdl.handle.net/10367/0002002717; https://ritsumei.repo.nii.ac.jp/records/2002717

Availability: https://hdl.handle.net/10367/0002002717
https://ritsumei.repo.nii.ac.jp/records/2002717

Protecting method and system of java source code

Additional Titles: Extraction of the Conversion Rules to Support the Programming from UML to Java Source Codes

Authors: Shimomura, Kiyohito 50283932 Katayama, Tetsuro

Index Terms: conversion rules, object-oriented, programming support, UML, Java, Journal Article.

URL: http://hdl.handle.net/10458/2548
https://miyazaki-u.repo.nii.ac.jp/records/1013
http://ci.nii.ac.jp/naid/110003277266

Additional Titles: Extraction of Conversion Rules from UML Diagrams to Java Source Codes and a Prototype of Conversion Tool

Authors: Shimomura, Kiyohito 50283932 Katayama, Tetsuro

Index Terms: programming support, conversion rules, automatically generation, UML, Java, Journal Article.

URL: http://hdl.handle.net/10458/2551
https://miyazaki-u.repo.nii.ac.jp/records/1016
http://ci.nii.ac.jp/naid/110003488390

Plagiarism detection in students' programming assignments based on semantics: multimedia e-learning based smart assessment methodology.

Authors: Ullah, Farhan Wang, Junfeng Farhan, Muhammad et al.

Source: Multimedia Tools & Applications; Apr2020, Vol. 79 Issue 13/14, p8581-8598, 18p

Subject Terms: PROGRAMMING languages, DATA structures, PLAGIARISM, SOURCE code, VIRTUAL classrooms, LEARNING management system

Real-time java API specifications for high coverage test generation

Authors: Ahrendt, Wolfgang Mostowski, Wojciech Paganelli, Gabriele

Source: 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, October 2012. :145-154

Subject Terms: Coverage criteria, Test case generation, Formal Specification, KeY systems, Test generations, Java source codes, Modified conditions, Formal verifications, Symbolic execution, Real-time Java

File Description: electronic

Access URL: https://research.chalmers.se/publication/168847
http://publications.lib.chalmers.se/records/fulltext/168847/local_168847.pdf