From post

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.

 

Другие публикации лиц с тем же именем

A System to Generate Test Data and Symbolically Execute Programs.. IEEE Trans. Software Eng., 2 (3): 215-222 (1976)A Compact Petri Net Representation and Its Implications for Analysis., и . IEEE Trans. Software Eng., 22 (11): 794-811 (1996)Extending and Limiting PGraphite-style Persistence., , и . POS, стр. 74-86. Morgan Kaufmann, (1990)A Comparison of Data Flow Path Selection Criteria., , , и . ICSE, стр. 244-251. IEEE Computer Society, (1985)The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process., , и . IEEE Trans. Software Eng., 15 (3): 250-263 (1989)Ada-Based support for programming-in-the-Large., , и . IEEE Software, 2 (2): 58-71 (1985)A Coding Framework for Usability Evaluation of Digital Health Technologies., , , , , , , , , и 1 other автор(ы). HCI (1), том 13302 из Lecture Notes in Computer Science, стр. 185-196. Springer, (2022)Applying Static Analysis to Software Architectures., , , и . ESEC / SIGSOFT FSE, том 1301 из Lecture Notes in Computer Science, стр. 77-93. Springer, (1997)Experience in using a process language to define scientific workflow and generate dataset provenance., , , , , , и . SIGSOFT FSE, стр. 319-329. ACM, (2008)The application of error-sensitive testing strategies to debugging., и . SIGSOFT, стр. 45-52. ACM, (1983)