scientific article; zbMATH DE number 1737494

MaRDI QIDQ4529604zbMATH OpenFDO

Authors Henryk Krawczyk, Bogdan Wiszniewski, Piotr Kuzora, Marcin Neyman, Jerzy Proficz

Publication date 5 May 2002

zbMATH Keywords

error detectiontesting toolstest scenariocommunication eventsexecution log

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1670803
• scientific article; zbMATH DE number 1262852
• Program testing in parallel computing systems with single control stream
• Interactive debugging and performance analysis of massively parallel applications
• scientific article; zbMATH DE number 2090565

Cited in

(4)

• Principles of staged static+dynamic partial analysis
• Program testing in parallel computing systems with single control stream
• scientific article; zbMATH DE number 4157871 (Why is no real title available?)
• scientific article; zbMATH DE number 1670803 (Why is no real title available?)

This page was built for publication:

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