Framework for testing multi‐threaded Java programs
From MaRDI portal
Publication:4799677
DOI10.1002/cpe.654zbMath1009.68542MaRDI QIDQ4799677
Yarden Nir, Eitan Farchi, Orit Edelstein, Evgeny Goldin, 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68U99: Computing methodologies and applications
Related Items
Extensible transactional memory testbed, Combining Model Checking and Testing, Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
Uses Software