533 | -- | 553 | Debra J. Richardson, Margaret C. Thompson. An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection |
554 | -- | 570 | Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen. From CSP Models to Markov Models |
571 | -- | 583 | Parameswaran Ramanathan, Kang G. Shin. Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System |
584 | -- | 593 | Mary Jean Harrold, Brian A. Malloy. A Unified Interprocedural Program Representation for a Maintenance Environment |
594 | -- | 602 | Nabil R. Adam, Rajiv Tewari. Regeneration with Virtual Copies for Distributed Computing Systems |
603 | -- | 612 | Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan. Software Project Control: An Experimental Investigation of Judgment with Fallible Information |
613 | -- | 624 | Herman C. Rao, Larry L. Peterson. Accessing Files in an Internet: The Jade File System |
625 | -- | 639 | Andrew Kay, Joy N. Reed. A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange |
640 | -- | 0 | Moheb R. Girgis. ::::Corrigendum:::: for Constraint-Based Automatic Test Data Generation . (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.) |
640 | -- | 0 | Gerardo Canfora, Aniello Cimitile, Ugo de Carlini. Correction to A Logic-Based Approach to Reverse Engineering Tools Production |