Research Interests:
Research Interests:
Page 1. Formal Specification of Java Concurrency to Assist Software Verification Brad Long * Benjamin W. Long Software Verification Research Centre, School of Information Technology and Elec. Eng., The University of Queensland, Brisbane,... more
Page 1. Formal Specification of Java Concurrency to Assist Software Verification Brad Long * Benjamin W. Long Software Verification Research Centre, School of Information Technology and Elec. Eng., The University of Queensland, Brisbane, Qld 4072, Australia. ...
Research Interests: Computer Science, Software Engineering, Model Checking, Java Programming, Java, and 15 moreSoftware Verification, Dynamic Analysis, Concurrency, Reasoning, Formal Specification, Computer Languages, Specification Language, Concurrency Control, Side Effect, Formal Specifications, Dormancy, E, Programming language, Deadlock, and Parallel Distributed Processing
Research Interests:
Research Interests:
Research Interests:
Abstract The Java programming language supports monitors. Monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents the ConAn (Concurrency Analyser) tool for... more
Abstract The Java programming language supports monitors. Monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents the ConAn (Concurrency Analyser) tool for generating drivers for the testing of ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Sorting non-key fields in the distributed result set iterator pattern
Page 1. Formal Specification of Java Concurrency to Assist Software Verification Brad Long * Benjamin W. Long Software Verification Research Centre, School of Information Technology and Elec. Eng., The University of Queensland, Brisbane,... more
Page 1. Formal Specification of Java Concurrency to Assist Software Verification Brad Long * Benjamin W. Long Software Verification Research Centre, School of Information Technology and Elec. Eng., The University of Queensland, Brisbane, Qld 4072, Australia. ...
Research Interests: Computer Science, Software Engineering, Model Checking, Java Programming, Java, and 15 moreSoftware Verification, Dynamic Analysis, Concurrency, Reasoning, Formal Specification, Computer Languages, Specification Language, Concurrency Control, Side Effect, Formal Specifications, Dormancy, E, Programming language, Deadlock, and Parallel Distributed Processing
Research Interests:
Research Interests: Computer Science, Software Engineering, Case Studies, Distributed System, Testing, and 13 moreDistributed Systems, Middleware, Concurrency, Case Study, Unit Testing, Computer Networks and Communications, White Box Testing, E, Doa, Black Box Testing, software performance testing, System testing, and Integration Testing
The Java Collections Framework (JCF) was introduced as standard in JDK 1.2. Since then several significant enhancements have been made including the introduction of generics and typed collections. One striking design choice of the Java... more
The Java Collections Framework (JCF) was introduced as standard in JDK 1.2. Since then several significant enhancements have been made including the introduction of generics and typed collections. One striking design choice of the Java language designers was the exclusion of map from the collections hierarchy. This paper looks at how maps could be incorporated into the Java collections hierarchy by describing early work on YACL (Yet Another Collections Library). The intention of YACL is to provide a suite of set-based collections classes and operations whilst continuing to be compatible with the JCF.
Research Interests:
In previous work a design pattern for solving the issues of handling results from queries that return large amounts of data from remote data sources was presented. This paper presents a solution to the problem of sorting non-key fields... more
In previous work a design pattern for solving the issues of handling results from queries that return large amounts of data from remote data sources was presented. This paper presents a solution to the problem of sorting non-key fields that was raised in previous work but left for a future time to solve. That time is now.
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
A method for verifying concurrent Java components based on an analysis of concurrency failures
Research Interests:
Research Interests:
The Java programming language supports concurrency. Concurrent programs are harder to verify than their se-quential counterparts due to their inherent non-determinism and a number of specific concurrency problems such as in-terference and... more
The Java programming language supports concurrency. Concurrent programs are harder to verify than their se-quential counterparts due to their inherent non-determinism and a number of specific concurrency problems such as in-terference and deadlock. In previous work, ...
Research Interests:
Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Tool support is offered through ConAn (Concurrency Analyser), a tool for... more
Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Tool support is offered through ConAn (Concurrency Analyser), a tool for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.
Research Interests:
In this paper we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronisation concepts of locking, blocking, waiting and notification. In the model we take a... more
In this paper we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronisation concepts of locking, blocking, waiting and notification. In the model we take a viewpoints approach, first capturing the role of the objects and threads, and then taking a system view where we capture the way the objects and threads cooperate and communicate. As a case study, we then use Object-Z inheritance to integrate the model with the classical producer-consumer system to create a specification directly incorporating the Java concurrency constructs.
Abstract The Java programming language supports monitors. Monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents the ConAn (Concurrency Analyser) tool for... more
Abstract The Java programming language supports monitors. Monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents the ConAn (Concurrency Analyser) tool for generating drivers for the testing of ...
Research Interests:
Research Interests:
Research Interests:
... We are currently investigating how this recent ex-tension assists with the generation of ConAn test se-quences from models of the component under test, us-ing specification-based testing techniques and model checking [16]. ... [ll] J.... more
... We are currently investigating how this recent ex-tension assists with the generation of ConAn test se-quences from models of the component under test, us-ing specification-based testing techniques and model checking [16]. ... [ll] J. Magee and J. Kramer. ...