Applications of synchronization coverage

Authors:
Arkady Bron;Eitan Farchi;Yonit Magid;Yarden Nir;Shmuel Ur
Affiliations:
IBM Haifa Research Lab, Haifa, ISRAEL;IBM Haifa Research Lab, Haifa, ISRAEL;IBM Haifa Research Lab, Haifa, ISRAEL;IBM Haifa Research Lab, Haifa, ISRAEL;IBM Haifa Research Lab, Haifa, ISRAEL
Venue:
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Year:
2005

Citing 10
Cited 27

The evaluation of program-based software test data adequacy criteria

Communications of the ACM
Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
The craft of software testing: subsystem testing including object-based and object-oriented testing

The craft of software testing: subsystem testing including object-based and object-oriented testing
The mythical man-month (anniversary ed.)

The mythical man-month (anniversary ed.)
All-du-path coverage for parallel programs

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Hole analysis for functional coverage data

Proceedings of the 39th annual Design Automation Conference
Compacting regression-suites on-the-fly

APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
Concurrent Bug Patterns and How to Test Them

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Testing concurrent programs: a formal evaluation of coverage criteria

ICCSSE '96 Proceedings of the 7th Israeli Conference on Computer-Based Systems and Software Engineering
Multithreaded java program test generation

IBM Systems Journal

Formal verification of concurrent software: two case studies

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Improving distributed memory applications testing by message perturbation

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

Electronic Notes in Theoretical Computer Science (ENTCS)
A study of interleaving coverage criteria

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A study of interleaving coverage criteria

The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools

Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
CTrigger: exposing atomicity violation bugs from their hiding places

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Saturation-based testing of concurrent programs

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Forcing small models of conditions on program interleaving for detection of concurrent bugs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
Explaining intermittent concurrent bugs by minimizing scheduling noise

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Unit testing for concurrent business code

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
A platform for search-based testing of concurrent software

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Instrumentation and sampling strategies for cooperative concurrency bug isolation

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Ad hoc synchronization considered harmful

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
2ndStrike: toward manifesting hidden concurrency typestate bugs

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Code coverage analysis in practice for large systems

Proceedings of the 33rd International Conference on Software Engineering
Location pairs: a test coverage metric for shared-memory concurrent programs

Empirical Software Engineering
Noise injection heuristics for concurrency testing

MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
Testing concurrent programs to achieve high synchronization coverage

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Coverage metrics for saturation-based and search-based testing of concurrent software

RV'11 Proceedings of the Second international conference on Runtime verification
Maple: a coverage-driven testing tool for multithreaded programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
CarFast: achieving higher statement coverage faster

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Testing of concurrent programs using genetic algorithms

SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Selective mutation testing for concurrent code

Proceedings of the 2013 International Symposium on Software Testing and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

Coverage analysis is a useful testing technology. However, some coverage models are more acceptable to the industry than others. In the field of testing multi-threaded applications, there is a need for a coverage model that can be used to evaluate tests for concurrent completeness and to find new testing requirements. We present a new coverage model: synchronization coverage. This model is simple to understand and the action items generated by each uncovered task are clear to testers and developers. We propose that synchronization coverage could, and should, become one of the more commonly used coverage models.