Search Results - "concurrent Java components"

Synthesis of verifiable concurrent Java components from formal models by Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

“… In our work, we consider the problem of generating a concurrent Java component from a high-level model of inter-process interaction (i.e., communication…”
Get full text

Tool support for testing concurrent Java components by Long, B., Hoffman, D., Strooper, P.

“…Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components…”
Get full text

Testing Concurrent Java Components by Strooper, Paul, Wildman, Luke

“… (Concurrency Analyser) testing tool supports these techniques for the testing of concurrent Java components and will be discussed and demonstrated in the tutorial…”
Get full text

A method for verifying concurrent Java components based on an analysis of concurrency failures by Long, Brad, Strooper, Paul, Wildman, Luke

“… In previous work, we have developed the ConAn testing tool for the testing of concurrent Java components…”
Get full text

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks by Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

“… To verify concurrent Java components, the TestCon method combines code inspection, static analysis and dynamic analysis…”
Get full text

Dealing with non-determinism in testing concurrent Java components by Wildman, L., Long, B., Strooper, P.

“… In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool…”
Get full text

Maximising the information gained from a study of static analysis technologies for concurrent software by Wojcicki, Margaret A., Strooper, Paul

“…The results of empirical studies in Software Engineering are limited to particular contexts, difficult to generalise and the studies themselves are expensive…”
Get full text

Mutation-based exploration of a method for verifying concurrent Java components by Long, B., Duke, R., Goldson, D., Strooper, P., Wildman, L.

“… In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool…”
Get full text

Infrastructure for the synchronization and coordination of concurrent Java component programs by Mitra, Sandeep, Aggarwal, Sudhir

“…The paper presents the Development Environment for Coordinated Concurrent Activities (DECCA), a system incorporating a methodology and toolkit for developing…”
Get full text

Communicating Process Architectures 2007: WoTUG-30 by McEwan, A. A, Schneider, S, Ifill, W

“…This publication deals with Computer Science and models of Concurrency. It particularly emphasises on hardware/software co-design, and the understanding of…”
Get full text

Testing Java interrupts and timed waits by Wildman, L., Long, B., Strooper, P.

“… In previous work, we have presented a method and tool support for the testing of concurrent Java components…”
Get full text

Selecting V&V Technology Combinations: How to Pick a Winner? by Strooper, P., Wojcicki, M.A.

“…Numerous software verification and validation (V&V) techniques and tools exist to analyse requirements, designs and implementations of software systems. These…”
Get full text