First Page | Document Content | |
---|---|---|
![]() Date: 1996-10-07 17:02:22Manned spacecraft Reuse Lifting bodies Space access Spacecraft propulsion HL-20 Personnel Launch System Reusable launch system Space Shuttle Maintenance repair and operations Spaceflight Space technology Aerospace engineering | Source URL: www.cs.odu.eduDownload Document from Source WebsiteFile Size: 637,32 KBShare Document on Facebook |
![]() | Search, Align, and Repair: Data-Driven FeedbackDocID: 1xVRZ - View Document |
![]() | Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST AustriaDocID: 1xVPw - View Document |
![]() | Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-MadisonDocID: 1xVFR - View Document |
![]() | Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-MadisonDocID: 1xUbk - View Document |
![]() | Integrating Verification and Repair into the Control Plane Aaron Gember-Jacobson Costin RaiciuDocID: 1xTnh - View Document |