Automated generation of test paths for Fortran programs

zbMath0605.68010MaRDI QIDQ1083843

K. A. Iyudu, Mersaid Aripov

Publication date: 1986

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

zbMATH Keywords

FORTRAN IVAPOS systemautomatic construction and decomposition of the program graphreduction to acyclic form

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Automated generation of test paths for Fortran programs