Framework for testing multi‐threaded Java programs

DOI10.1002/CPE.654MaRDI QIDQ4799677zbMATH OpenOpenAlexFDO

Authors Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur

Publication date 25 March 2003

Published in Concurrency and Computation: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/cpe.654

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Symbolic partial-order execution for testing multi-threaded programs
• scientific article; zbMATH DE number 1670562
• Finding Concurrency-Related Bugs Using Random Isolation
• Run-time checking multi-threaded Java programs
• Scaling model checking of dataraces using dynamic information

Cited in

(8)

• Finding race conditions in Erlang with quickcheck and PULSE
• Combining model checking and testing
• Multithreaded testing of program interfaces
• Coverage testing of Java programs and components
• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• Symbolic partial-order execution for testing multi-threaded programs
• Extensible transactional memory testbed
• Finding Concurrency-Related Bugs Using Random Isolation

Describes a project that uses

Uses Software

• ConTest
• Eraser

This page was built for publication: Framework for testing multi‐threaded Java programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4799677)