Experimentation in software engineering
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Comparing and combining software defect detection techniques: a replicated empirical study
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Building Knowledge through Families of Experiments
IEEE Transactions on Software Engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Concurrency: state models & Java programs
Concurrency: state models & Java programs
A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
Towards a Framework for Software Measurement Validation
IEEE Transactions on Software Engineering
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Preliminary guidelines for empirical research in software engineering
IEEE Transactions on Software Engineering
An Empirical Evaluation of Three Defect-Detection Techniques
Proceedings of the 5th European Software Engineering Conference
Has Twenty-five Years of Empirical Software Engineering Made a Difference?
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Replicating Software Engineering Experiments: Addressing the Tacit Knowledge Problem
ISESE '02 Proceedings of the 2002 International Symposium on Empirical Software Engineering
A Survey on Testing Technique Empirical Studies: How Limited is our Knowledge
ISESE '02 Proceedings of the 2002 International Symposium on Empirical Software Engineering
Tool Support for Testing Concurrent Java Components
IEEE Transactions on Software Engineering
An experimental analysis of program verification methods.
An experimental analysis of program verification methods.
The Limits of Empirical Studies of Software Engineering
ISESE '03 Proceedings of the 2003 International Symposium on Empirical Software Engineering
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Understanding the Impact of Assumptions on Experimental Validity
ISESE '04 Proceedings of the 2004 International Symposium on Empirical Software Engineering
Towards Evidence in Software Engineering
ISESE '04 Proceedings of the 2004 International Symposium on Empirical Software Engineering
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Empirical Software Engineering
A Survey of Controlled Experiments in Software Engineering
IEEE Transactions on Software Engineering
A state-of-practice questionnaire on verification and validation for concurrent programs
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Concurrency and Computation: Practice & Experience - Parallel and Distributed Systems: Testing and Debugging (PADTAD)
Towards a framework and a benchmark for testing tools for multi-threaded programs: Research Articles
Concurrency and Computation: Practice & Experience - Parallel and Distributed Systems: Testing and Debugging (PADTAD)
WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
Hi-index | 0.01 |
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.