Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Branch testing of concurrent programs using Petri net models
Computer Systems Science and Engineering
Path analysis testing of concurrent programs
Information and Software Technology
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
All-du-path coverage for parallel programs
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Replay and Testing for Concurrent Programs
IEEE Software
Run-Time Fault Detection in Monitor Based Concurrent Programming
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
An Algorithm for All-du-path Testing Coverage of Shared Memory Parallel Programs
ATS '97 Proceedings of the 6th Asian Test Symposium
Concurrent Bug Patterns and How to Test Them
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Program-based, structural testing of shared memory parallel programs
Program-based, structural testing of shared memory parallel programs
Reachability Testing of Semaphore-Based Programs
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
A robust monitor construct with runtime fault detection: Research Articles
Concurrency and Computation: Practice & Experience
Improving distributed memory applications testing by message perturbation
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Reachability Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Iterative context bounding for systematic testing of multithreaded programs
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Testing patterns for software transactional memory engines
Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging
Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging
On Testing Multi-threaded Java Programs
SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01
A combinatorial testing strategy for concurrent programs
Software Testing, Verification & Reliability
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
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
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
Structural Testing for Semaphore-Based Multithread Programs
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Coverage Based Testing for Concurrent Software
ICDCSW '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops
Structural testing criteria for message-passing parallel programs
Concurrency and Computation: Practice & Experience
DMP: deterministic shared memory multiprocessing
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Kendo: efficient deterministic multithreading in software
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Correctness Analysis Based on Testing and Checking for OpenMP Programs
CHINAGRID '09 Proceedings of the 2009 Fourth ChinaGrid Annual Conference
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
MPIRace-check: detection of message races in MPI programs
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
A race-detection and flipping algorithm for automated testing of multi-threaded programs
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Mutation Operators for Actor Systems
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Finding and reproducing Heisenbugs in concurrent programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
A platform for search-based testing of concurrent software
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
A Stateful Approach to Testing Monitors in Multithreaded Programs
HASE '10 Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering
Detection of asynchronous message passing errors using static analysis
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Multi-threaded testing with AOP is easy, and it finds bugs!
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Hi-index | 0.00 |
The current increased demand for distributed applications in domains such as web services and cloud computing has significantly increased interest in concurrent programming. This demand in turn has resulted in new testing methodologies for such systems, which take account of the challenges necessary to test these applications. This paper presents a systematic review of the published research related to concurrent testing approaches, bug classification and testing tools. A systematic review is a process of collection, assessment and interpretation of the published papers related to a specific search question, designed to provide a background for further research. The results include information about the research relationships and research teams that are working in the different areas of concurrent programs testing.