Search Results - Concurrent Java components

Testing concurrent Java components

Authors: Bradley Long

Subject Terms: Java (Computer program language), 080304 Concurrent Programming, Computer multitasking

Synthesis of verifiable concurrent Java components from formal models

Authors: Julio Mariño Raúl N. N. Alborodo Lars-Åke Fredlund et al.

Source: Software & Systems Modeling. 18:71-105

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A method for verifying concurrent Java components based on an analysis of concurrency failures

Authors: Long, Brad Strooper, Paul Wildman, Luke et al.

Contributors: Long, Brad Strooper, Paul Wildman, Luke et al.

Source: Concurrency and Computation: Practice and Experience. 19:281-294

Subject Terms: Inspections, Design, Theory & Methods, Software Engineering, 02 engineering and technology, testing, 280302 Software Engineering, C1, 700102 Application tools and system utilities, Computer Science, component, 0202 electrical engineering, electronic engineering, information engineering, Programs, concurrency, verification, Java

Tool support for testing concurrent java components

Authors: Long, B. Hoffman, D. Strooper, P. et al.

Contributors: Long, B. Hoffman, D. Strooper, P. et al.

Source: IEEE Transactions on Software Engineering. 29:555-566

Subject Terms: Software Engineering, 02 engineering and technology, Execution, 280302 Software Engineering, Engineering, C1, 700199 Computer software and services not elsewhere classified, Computer Science, Concurrency, Unit Testing, 0202 electrical engineering, electronic engineering, information engineering, Electrical & Electronic, Programs, Component Testing, Tool Support

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

Authors: John Ngui Paul Strooper Luke Wildman et al.

Source: 2007 Australian Software Engineering Conference (ASWEC'07). :223-232

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Mutation-based exploration of a method for verifying concurrent java components

Authors: B. Long R. Duke D. Goldson et al.

Source: 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.. :265-272

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Authors: Margaret A. Wojcicki Paul Strooper

Source: Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering. :174-183

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Framework for Model Checking Concurrent Java Components

Authors: Brad Long

Source: Journal of Software. 4

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Testing concurrent Java components

Authors: Long, Bradley.

Source: Testing concurrent Java componentsRead the abstract of the thesis..

Subject Terms: University of Queensland. Java (Computer program language) Computer multitasking.

Availability: http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe18735.pdf

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

Contributors: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

Testing concurrent java components

Authors: Paul Strooper Luke Wildman

Source: Proceedings of the 28th international conference on Software engineering. :1075-1076

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Testing concurrent Java components

Authors: Paul Strooper Luke Wildman The Pennsylvania State University CiteSeerX Archives

Contributors: Paul Strooper Luke Wildman The Pennsylvania State University CiteSeerX Archives

Source: http://www.irisa.fr/lande/lande/icse-proceedings/icse/p1075.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1050.7565

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1050.7565
http://www.irisa.fr/lande/lande/icse-proceedings/icse/p1075.pdf

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components

Authors: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos et al.

Contributors: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos et al.

Subject Terms: Concurrent Java components, Controlled experiment, Verification and validation, 280302 Software Engineering, E1, 700102 Application tools and system utilities, 0803 Computer Software

Relation: orcid:0000-0003-4789-2897

Availability: https://espace.library.uq.edu.au/view/UQ:104279

Maximising the information gained from a study of static analysis technologies for concurrent software

Authors: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Contributors: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Source: Empirical Software Engineering. 12:617-645

Subject Terms: Testing Strategies, controlled experiment, verification and validation, Framework, Software Engineering, 02 engineering and technology, concurrent Java components, Tools, 280302 Software Engineering, Knowledge, C1, 700102 Application tools and system utilities, Computer Science, Validation, 0202 electrical engineering, electronic engineering, information engineering, Programs, Java Components, Experimentation

Dealing with non-determinism in testing concurrent Java components

Authors: L. Wildman B. Long P. Strooper

Source: 12th Asia-Pacific Software Engineering Conference (APSEC'05). :8

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Análise comparativa da tolerância a falhas em elixir e outras linguagens distribuídas e concorrentes

Comparative analysis of fault tolerance in elixir and other distributed and concurrent languages

Authors: RIBEIRO, NUNO DINIS GONÇALVES Nogueira, Luís Miguel Pinho REPOSITÓRIO P.PORTO

Contributors: RIBEIRO, NUNO DINIS GONÇALVES Nogueira, Luís Miguel Pinho REPOSITÓRIO P.PORTO

Source: urn:tid:204034132

Subject Terms: Distributed Systems, Fault Tolerance Strategies, Actor Model, Benchmarking

File Description: application/pdf

Availability: http://hdl.handle.net/10400.22/31004

A method for verifying concurrent Java components based on an analysis of concurrency failures

Authors: Long, Brad Strooper, Paul Wildman, Luke et al.

Contributors: Long, Brad Strooper, Paul Wildman, Luke et al.

Subject Terms: Computer Science, Software Engineering, Theory & Methods, concurrency, verification, testing, component, Java, Programs, Inspections, Design, 280302 Software Engineering, C1, 700102 Application tools and system utilities

Relation: orcid:0000-0003-4789-2897

Availability: https://espace.library.uq.edu.au/view/UQ:128138

Comparing the cost-effectiveness of statically analysing and model checking concurrent java components for deadlocks

Authors: Ngui, J. Strooper, P. A. Wildman, L. et al.

Contributors: Ngui, J. Strooper, P. A. Wildman, L. et al.

Subject Terms: Java PathFinder 2, Code inspection, Multithreading, Static analysis, 280302 Software Engineering, E1, 700102 Application tools and system utilities

Relation: orcid:0000-0003-4789-2897

Availability: https://espace.library.uq.edu.au/view/UQ:135097

Dealing with non-determinism in testing concurrent java components

Authors: Wildman, Luke Long, Brad Strooper, Paul et al.

Contributors: Wildman, Luke Long, Brad Strooper, Paul et al.

Subject Terms: Java, Distributed programming, Object-oriented programming, Program testing, Software tools, 280302 Software Engineering, E1, 700102 Application tools and system utilities

Relation: orcid:0000-0003-4789-2897

Availability: https://espace.library.uq.edu.au/view/UQ:102600

Testing concurrent java components

Authors: Strooper, Paul Wildman, Luke

Subject Terms: Component, Concurrency, Testing methodology, 1712 Software

Relation: orcid:0000-0003-4789-2897

Availability: https://espace.library.uq.edu.au/view/UQ:b4fe77a