Java programs
Automatic Extraction of Features and Generation of Feature Models from Java Programs
... Biggerstaff et al. [25] define a concept assignment problem as the problem of “discovering human- oriented concepts and assigning them to their realizations”. The process is difficult to be automated, because the concept ...
9
Coverage Criteria for Search Based Automatic Unit Testing of Java Programs
... The search is guided by the coverage criteria the resulting test suite should satisfy. The coverage criteria are translated to a mathematical formula which is the fitness function whose work is to evaluate the ...
8
A Hybrid Approach for Proving Noninterference of Java Programs
... Analysis based on type systems have been the predom- inant information flow analysis technique until recently. These approaches are usually sound, i.e., they are guaranteed to find any security violations. But they are ...
24
Runtime assertion checking of multithreaded Java programs An extension of the STROBE framework
... for Java programs, that can be used to describe the behaviour of a ...normal Java compiler will treat these annotations as comments, but a JML runtime assertion checker will recognize them as parts ...
82
Automatic Translation from Combined B and CSP specification to Java Programs
... JCSP [PM00a] is a Java package for developing concurrent Java Programs. It implements the Occam subset of the CSP language [SS00], as well as some other features of CSP, in a series of process and ...
15
Unit Testing Concurrent Java Programs
... This paper outlines guidelines for writing effective unit tests for concurrent Java programs. It also explores and compares the frameworks available currently for writing such tests. The most widely used ...
6
A MOP based DSL for testing java programs using OCL
... the Java class named in the descriptor and then sends it an invoke ...a Java class causes it to be instantiated via a suitable ...a Java class with a ...
17
SECCHECK: A Tool for Software Vulnerability Management in Java Programs
... application programs written in various programming languages but no single tool has the capability to detect and mitigate the vulnerabilities ...in Java source ...
7
Using in-process testing metrics to estimate post-release field quality of Java programs
... In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important step towards remediation of this problem ...
25
Runtime Permission Checking in Concurrent Java Programs
... As discussed in Section 4.2, permission checks should occur just before memory is read or written. This is easily achieved when instrumenting byte-code, where these reads and writes are atomic instructions, but requires ...
66
Evaluating metrics at class and method level for java programs using knowledge based systems
... The purpose of using this tool is to save the user time and to improve their quality of software. This method will be used in software debugging, estimating cost, quality assurance testing, performance optimization of ...
6
Structuring of Logistics Management Organizational-Technological System
... The RMI technology organizes the programmable interface to work with the networks unlike the TCP sockets. Such an interface has higher level, it is based on method invocation and makes an impression allegedly the remote ...
6
31datatype
... Holds a data type value; variable name refers to object. In Java, programs manipulate references to objects[r] ...
38
Application of Object Oriented Metrics to Java and C Sharp: Comparative Study
... 8 Inheritance Dependencies metric is intended to reflect characteristics of the inheritance tree. Morris suggests that “it may be possible to determine a range of values within which the inheritance tree depth should be ...
10
SRC TN 1997 028 pdf
... on Java programs for several reasons. First, the Java Virtual Machine (JVM) makes no guarantees to programmers about data layout, so it is easier to restructure data in Java than in languages ...
30
A Framework for the Cryptographic Verification of Java-like Programs
... Many program analysis tools can deal only with closed Java programs. The systems we want to analyze are, how- ever, open, because they interact with a network or use some libraries that we do not (have to) ...
31
A Model Based Testing Approach for Java Bytecode Programs
... from java Bytecode ...given java card Bytecode program extracted from the CAP ...test Java programs and Java-based ...the java Bytecode the intra-method control-flow and ...
17
FuAGGE: A Novel System to Automatically Generate Fuzzy Rule Based Learners
... into Java programs (FuAGGE classifiers), which are the actual classifiers that need to be compiled and executed (trained and tested) using different ...
8
Java, Java, Java: Object-Oriented Problem Solving
... languages. Programs written in COBOL, FORTRAN, C, C++, and Pascal are ...section, Java programs use both compilation and interpretation in their translation ...
856