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

Wojcicki, Margaret A. and Strooper, Paul (2006). Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components. In: G. H. Travassos, J. C. Maldonado and C. Wohlin, ISESE '06: Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering. International Symposium on Empirical Software Engineering 2006 (ISESE'06), Rio de Janeiro, Brazil, (174-183). 21-22 September 2006. doi:10.1145/1159733.1159761

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Wojcicki, Margaret A.
Strooper, Paul
Title of paper Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components
Conference name International Symposium on Empirical Software Engineering 2006 (ISESE'06)
Conference location Rio de Janeiro, Brazil
Conference dates 21-22 September 2006
Proceedings title ISESE '06: Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering
Place of Publication New York, U.S.A.
Publisher ACM Press
Publication Year 2006
Sub-type Fully published paper
DOI 10.1145/1159733.1159761
ISBN 1595932186
Editor G. H. Travassos
J. C. Maldonado
C. Wohlin
Volume 1
Issue 1
Start page 174
End page 183
Total pages 10
Collection year 2006
Language eng
Abstract/Summary The results of empirical studies are limited to particular contexts, difficult to generalise and the studies themselves are expensive to perform. Despite these problems, empirical studies in software engineering can be made effective and they are important to both researchers and practitioners. The key to their effectiveness lies in the maximisation of the information that can be gained by examining existing studies, conducting power analyses for an accurate minimum sample size and benefiting from previous studies through replication. This approach was applied in a controlled experiment examining the combination of automated static analysis tools and code inspection in the context of verification and validation (V&V) of concurrent Java components. The combination of these V&V technologies was shown to be cost-effective despite the size of the study, which thus contributes to research in V&V technology evaluation.
Subjects E1
280302 Software Engineering
700102 Application tools and system utilities
0803 Computer Software
Keyword Concurrent Java components
Controlled experiment
Verification and validation
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 22:15:50 EST