Multithreaded testing of program interfaces

DOI10.1134/S0361768809060024zbMath1183.68100OpenAlexW2041831899MaRDI QIDQ2654998

V. S. Mutilin

Publication date: 22 January 2010

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768809060024

zbMATH Keywords

functional testing of parallel programsSapsan

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Uses Software

• veriSoft
• UniTESK
• Eraser
• Goldilocks

Cites Work

• Combining partial-order reductions with on-the-fly model-checking.
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• A calculus of atomic actions
• Dynamic partial-order reduction for model checking software

This page was built for publication: Multithreaded testing of program interfaces