Multithreaded testing of program interfaces

DOI10.1134/S0361768809060024zbMath1183.68100MaRDI QIDQ2654998

V. S. Mutilin

Publication date: 22 January 2010

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

zbMATH Keywords

functional testing of parallel programs; Sapsan

Mathematics Subject Classification ID

68M15: Reliability, testing and fault tolerance of networks and computer systems

68N99: Theory of software

Uses Software

• veriSoft
• UniTESK
• Eraser
• Goldilocks