Search Results - "Concurrent Java components"

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

Testing concurrent Java components

Authors: Bradley Long

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

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

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

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

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

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

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: 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

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

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

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

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

Testing concurrent Java components

Authors: Strooper, Paul Wildman, Luke

Subject Terms: 1712 Software

Relation: orcid:0000-0003-4789-2897

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

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

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

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

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

Authors: Long, Brad Duke, Roger Goldson, Doug et al.

Subject Terms: 2200 Engineering

Relation: orcid:0000-0003-4789-2897

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

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

Authors: Long, B. J. Duke, R. W. Goldson, D. W. et al.

Contributors: Long, B. J. Duke, R. W. Goldson, D. W. et al.

Subject Terms: 280302 Software Engineering, E1, 700199 Computer software and services not elsewhere classified

Relation: orcid:0000-0003-4789-2897

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

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