Search Results - "concurrent Java components"

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

Selecting V&V technology combinations: How to pick a winner?

Authors: Strooper, P. A. Wojcicki, M. J. S. Dong et al.

Contributors: Strooper, P. A. Wojcicki, M. J. S. Dong et al.

Subject Terms: Software verification, Software validation, Concurrent Java components, Dynamic testing, Static analysis, Inspection, 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:134981

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