Výsledky vyhledávání - "Java source codes"

Real-time java API specifications for high coverage test generation

Autoři: Ahrendt, Wolfgang Mostowski, Wojciech Paganelli, Gabriele

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

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

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/168847
http://publications.lib.chalmers.se/records/fulltext/168847/local_168847.pdf

The strengths and behavioral quirks of Java bytecode decompilers

Autoři: Harrand, Nicolas Soto Valero, César Monperrus, Martin a další

Zdroj: Proceedings - 19th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2019. :92-102

Témata: Decompilation, Java bytecode, Reverse engineering, Source code analysis, Equivalence classes, Java programming language, Open systems, Semantics, Syntactics, Java byte codes, Java source codes, Open source software projects, Quality indicators, Real world projects, Semantic equivalences, Open source software

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-272355

Dynamic localisation and automatic correction of software faults using evolutionary mutation testing

Autoři: Andreou, Andreas S. Yiasemis, Pantelis Ανδρέου, Ανδρέας Σ. a další

Přispěvatelé: Andreou, Andreas S. Yiasemis, Pantelis Ανδρέου, Ανδρέας Σ. a další

Témata: Errors, Mutation testing, Mutation operators, Genetic algorithms, Electrical Engineering - Electronic Engineering - Information Engineering, Localisation, Software testing, Fault localization, Software fault, Dynamic slicing, Testing process, Information systems, Engineering and Technology, Novel methodology, Self-adaptive mutation, Test case, Programming errors, Java source codes

Popis souboru: pdf

Přístupová URL adresa: https://hdl.handle.net/20.500.14279/4255

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

Autoři: Maruyama, Katsuhisa

Témata: 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

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

Autoři: Maruyama, Katsuhisa

Témata: 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 maint, Journal Article., VoR.

URL: http://hdl.handle.net/10367/0002002717
https://ritsumei.repo.nii.ac.jp/records/2002717
https://doi.org/10.11309/jssst.41.4_28
info:doi/10.11309/jssst.41.4_28

Learning Java with Sun SPOTS

Autoři: Caulfield, Craig Maj, S Paul Veal, David

Zdroj: Research outputs pre 2011

Témata: Integrated development environment, Java applications, Java source codes, Low-level commands, Model-Driven Software Development, Programmable objects, Software developer, Wireless devices, Computer Sciences, conference

URL: https://ro.ecu.edu.au/ecuworks/5342