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

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

“…), a system incorporating a methodology and toolkit for developing concurrent, coordinating systems in a high-level, component oriented, reusable manner…”
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

Concurrent Testing of Java Components Using Java PathFinder by Mutilin, V.

“…Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states…”
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

A concurrent object-based model and its use for coordinating Java components by Majoul, S., Percebois, C., Bodeveix, J.-P.

“… Finally, we propose to use the prototype that we carried out as a coordination tool for communicating Java components…”
Get full text

Creating components; object oriented, concurrent, and distributed computing in Java

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

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

A new function block modeling language based on Petri nets for automatic code generation by Hagge, N., Wagner, B.

“… The event-discrete behavior of CNet components is described by a special class of colored Petri nets with timed arcs and sharpened semantics in order to allow automatic generation of possibly concurrent Java code…”
Get full text

Slicing concurrent Java programs using Indus and Kaveri by Ranganath, Venkatesh Prasad, Hatcliff, John

“… In this paper, we present Indus--a robust framework for analyzing and slicing concurrent Java programs, and Kaveri--a feature-rich Eclipse-based GUI front end for Indus slicing…”
Get full text

simpA: An agent-oriented approach for programming concurrent applications on top of Java by Ricci, Alessandro, Viroli, Mirko, Piancastelli, Giulio

“…–Java is a main example–with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs…”
Get full text

Component-Based Lock Allocation by Halpert, R.L., Pickett, C.J.F., Verbrugge, C.

“…The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness…”
Get full text

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software by Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan

“…Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software…”
Get full text