{"content":[{"text":"Software Test Techniques \n For \n System Fault-Tree Analysis1 \n John C. Knight Luís G. Nakano \n knight@virginia.edu nakano@virginia.edu \n Department of Computer Science \n University of Virginia \n Charlottesville, VA 22903","bbox":{"left":0.310318,"top":0.128867,"width":0.37941199999999997,"height":0.17851100000000003}},{"text":"(804) 924-7605","bbox":{"left":0.449142,"top":0.320905,"width":0.10186299999999998,"height":0.016776000000000013}},{"text":"Submitted to: \n The 16th International Conference \n on Computer Safety, Reliability, and Security \n SAFECOMP ‘97","bbox":{"left":0.351691,"top":0.351208,"width":0.29676500000000006,"height":0.06223099999999998}},{"text":"University Of York \n York, UK","bbox":{"left":0.436985,"top":0.426966,"width":0.12617699999999993,"height":0.03192800000000001}},{"text":"1. Supported in part by the National Science Foundation under grant number CCR-9213427, in part by NASA under grant \n number NAG1-1123-FDP, and in part by the U.S. Nuclear Regulatory Commission under grant number NRC-04-94-093. \n This work was performed under the auspices of the U.S. Nuclear Regulatory Commission. The views expressed are those of \n the authors and do not necessarily reflect any position or policy of the U.S. Nuclear Regulatory Commission.","bbox":{"left":0.147181,"top":0.837788,"width":0.73529,"height":0.05682600000000004}}],"images_bbox":[],"images_bbox_not_text_overlap":[]}