Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
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
Proceedings of the Conference on The Future of Software Engineering
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Practical Software Testing
Software Inspection
V&V of Flight and Mission-Critical Software
IEEE Software
An Empirical Evaluation of Three Defect-Detection Techniques
Proceedings of the 5th European Software Engineering Conference
Combining Static and Dynamic Analysis of Concurrent Programs
ICSM '94 Proceedings of the International Conference on Software Maintenance
Studying the Effects of Code Inspection and Structural Testing on Software Quality
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
"Continuous Verification" in Mission Critical Software Development
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults
ISESE '03 Proceedings of the 2003 International Symposium on Empirical Software Engineering
An Industrial Case Study of the Verification and Validation Activities
METRICS '03 Proceedings of the 9th International Symposium on Software Metrics
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
Check 'n' crash: combining static checking and testing
Proceedings of the 27th international conference on Software engineering
Improvement of Design Specifications with Inspection and Testing
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications
WSE '05 Proceedings of the Seventh IEEE International Symposium on Web Site Evolution
What Do We Know about Defect Detection Methods?
IEEE Software
Program partitioning: a framework for combining static and dynamic analysis
Proceedings of the 2006 international workshop on Dynamic systems analysis
Integrating Static and Dynamic Analysis for Detecting Vulnerabilities
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 01
Selecting V&V Technology Combinations: How to Pick a Winner?
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Predictive testing: amplifying the effectiveness of software testing
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Test Inspected Unit or Inspect Unit Tested Code?
ESEM '07 Proceedings of the First International Symposium on Empirical Software Engineering and Measurement
DSD-Crasher: A hybrid analysis tool for bug finding
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Method Combining Review and Testing for Verifying Software Systems
BMEI '08 Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02
Towards a better collaboration of static and dynamic analyses for testing concurrent programs
PADTAD '08 Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
SP '08 Proceedings of the 2008 IEEE Symposium on Security and Privacy
Managing software quality through a hybrid defect content and effectiveness model
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Automating Software Testing Using Program Analysis
IEEE Software
Enforcing object protocols by combining static and runtime analysis
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Combining Model Checking and Testing for Software Analysis
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 02
Hybrid analysis of executables to detect security vulnerabilities: security vulnerabilities
Proceedings of the 2nd India software engineering conference
Effective identification of failure-inducing changes: a hybrid approach
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
The Yogi Project: Software Property Checking via Static Analysis and Testing
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Design and code inspections to reduce errors in program development
IBM Systems Journal
A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Combined Static and Dynamic Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
A Verification-Centric Software Development Process for Java
QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Inspecting automated test code: a preliminary study
XP'07 Proceedings of the 8th international conference on Agile processes in software engineering and extreme programming
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Towards security testing with taint analysis and genetic algorithms
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Combining static analysis and test generation for C program debugging
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Optimizing cost and quality by integrating inspection and test processes
Proceedings of the 2011 International Conference on Software and Systems Process
Aspects-classes integration testing strategy: an incremental approach
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Comparing bug finding tools with reviews and tests
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
Systematic mapping studies in software engineering
EASE'08 Proceedings of the 12th international conference on Evaluation and Assessment in Software Engineering
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Information and Software Technology
Hi-index | 0.00 |
Context: A lot of different quality assurance techniques exist to ensure high quality products. However, most often they are applied in isolation. A systematic combination of different static and dynamic quality assurance techniques promises to exploit synergy effects, such as higher defect detection rates or reduced quality assurance costs. However, a systematic overview of such combinations and reported evidence about achieving synergy effects with such kinds of combinations is missing. Objective: The main goal of this article is the classification and thematic analysis of existing approaches that combine different static and dynamic quality assurance technique, including reported effects, characteristics, and constraints. The result is an overview of existing approaches and a suitable basis for identifying future research directions. Method: A systematic mapping study was performed by two researchers, focusing on four databases with an initial result set of 2498 articles, covering articles published between 1985 and 2010. Results: In total, 51 articles were selected and classified according to multiple criteria. The two main dimensions of a combination are integration (i.e., the output of one quality assurance technique is used for the second one) and compilation (i.e., different quality assurance techniques are applied to ensure a common goal, but in isolation). The combination of static and dynamic analyses is one of the most common approaches and usually conducted in an integrated manner. With respect to the combination of inspection and testing techniques, this is done more often in a compiled way than in an integrated way. Conclusion: The results show an increased interest in this topic in recent years, especially with respect to the integration of static and dynamic analyses. Inspection and testing techniques are currently mostly performed in an isolated manner. The integration of inspection and testing techniques is a promising research direction for the exploitation of additional synergy effects.