Proceedings Article10.1145/376656.376848
Multithreaded Java program test generation
Orit Edelstein,Eitan Farchi,Yarden Nir,Gil Ratsaby,Shmuel Ur +4 more
- 01 Jun 2001
- pp 181
TL;DR: ConTest, a tool for detecting synchronization faults in multithreaded Java programs that makes random or coveragebased decisions as to whether the seeded primitive is to be executed, increases the probability of finding concurrent faults.
read more
Abstract: We describe ConTest, a tool for detecting synchronization faults in multithreaded Java™ programs. The program under test is seeded with a sleep(), yield(), or priority() primitive at shared memory accesses and synchronization events. At run time, ConTest makes random or coverage-based decisions as to whether the seeded primitive is to be executed. Thus, the probability of finding concurrent faults is increased. A replay algorithm facilitates debugging by saving the order of shared memory accesses and synchronization events.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Model Based Testing for Workflow Enabled Applications Pruebas Basadas en Modelos para Aplicaciones Basadas en Workflows
Mario E. Sánchez,Camilo Jiménez,Jorge Villalobos +2 more
- 01 Jan 2011
TL;DR: This paper presents both the ATF and the TDR, and illustrates their usage in the context of a workflow engine built using the Cumbia platform.
•Posted Content
Automated Dynamic Concurrency Analysis for Go.
TL;DR: In this paper, the authors present an automatic dynamic tracing mechanism that efficiently captures and helps analyze the whole-program concurrency model using an enhancement to the built-in tracer package of Go and a framework that collects dynamic traces from application execution.
Analyzing characteristics of Java classes as related to implementation-based testing
David C. Crowther
- 01 Jan 2005
TL;DR: This paper presents a meta-analyses of the comparative characteristics of javelins as well as their application to implementation-based testing.
Property-based testing for LG home appliances using accelerated software-in-the-loop simulation
Mingyu Park,Hoon Jang,Taejoon Byun,Yunja Choi +3 more
- 27 Jun 2020
TL;DR: A property-based testing framework using software-in-the-loop simulation (SILS), which allows the software to be integrated virtually and tested before the hardware is fully developed, and it enables an acceleration in test executions of up to a few tens of thousand times.
Concurrency Testing Using Controlled Schedulers: An Empirical Study
Paul Thomson,Alastair F. Donaldson,Adam Betts +2 more
- 09 Feb 2016
TL;DR: Overall, it is found that PCT was the most effective technique in terms of bug finding; it found all bugs found by the other techniques, plus an additional three, and it missed only one bug.
References
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
•Book
Design and validation of computer protocols
Gerard J. Holzmann
- 01 Jan 1991
TL;DR: Part 1 Basic: introduction protocol structure error control flow control and design tools: a protocol simulator a protocol validator using the validator.
Eraser: a dynamic data race detector for multithreaded programs
TL;DR: A new tool, called Eraser, is described, for dynamically detecting data races in lock-based multithreaded programs, which uses binary rewriting techniques to monitor every shared-monory reference and verify that consistent locking behavior is observed.
A general-purpose algorithm for analyzing concurrent programs
TL;DR: A static analysis algorithm is presented here that addresses the following problems: how processes are synchronized, what determines when programs are run in parallel, and how errors are detected in the synchronization structure.
322