( en | de | ru )

 

Disambiguation of "Hennell, Michael A."

Author of the publication

copydeleteadd this publication to your clipboard
A prototype system for the validation of Pascal programs.

, , , , , , , and . Softw. Eng. J., 3 (2): 47-52 (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael A Linseis

Michael A Meer

-Michael A Scherer

Michael A Scherer

Michael A Skeide

 

Other publications of authors with the same name

On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC., and . Inf. Softw. Technol., 48 (7): 433-440 (2006)A Measure of Control Flow Complexity in Program Text., , and . IEEE Trans. Software Eng., 5 (1): 45-50 (1979)A prototype system for the validation of Pascal programs., , , , , , , and . Softw. Eng. J., 3 (2): 47-52 (1988)A dual viewpoint software test tool., and . Microprocess. Microsystems, 19 (2): 101-104 (1995)The Causes and Effects of Infeasible Paths in Computer Programs., and . ICSE, page 259-267. IEEE Computer Society, (1985)The First Thirty Years: Experience with Software Verification.. TAP, volume 4966 of Lecture Notes in Computer Science, page 1-3. Springer, (2008)Experience with Path Analysis and Testing of Programs., , and . IEEE Trans. Software Eng., 6 (3): 278-286 (1980)Automated Testing Techniques for Real-Time Embedded Software., , and . ESEC, volume 289 of Lecture Notes in Computer Science, page 244-253. Springer, (1987)Some problems concerning the automatic translation of Fortran to Algol 68., and . Strathclyde ALGOL 68 Conference, page 138-143. ACM, (1977)Quantifying the test effectiveness of Algol 68 programs., , and . Strathclyde ALGOL 68 Conference, page 36-41. ACM, (1977)