Washington

Results: 181429



#Item
71Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst

Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
72August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-08-15 13:36:42
73Formal Specication of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky  Michael Patrick Jonathan Unger

Formal Speci cation of Control Software for a Radiation Therapy Machine (Revised) Jonathan Jacky  Michael Patrick Jonathan Unger

Add to Reading List

Source URL: staff.washington.edu

Language: English - Date: 2015-02-13 17:16:24
74Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat

Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:34
75CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART II: User Operations Jonathan Jacky1 Ruedi Risler

CLINICAL NEUTRON THERAPY SYSTEM Control System Speci cation PART II: User Operations Jonathan Jacky1 Ruedi Risler

Add to Reading List

Source URL: staff.washington.edu

Language: English - Date: 2015-02-13 17:07:43
76c 
Copyright 2014 Tom Bergan  Avoiding State-Space Explosion in Multithreaded Programs with

c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-03-11 15:06:20
77Practical Semantic Test Simplification  Sai Zhang University of Washington  A typical testing workflow

Practical Semantic Test Simplification Sai Zhang University of Washington A typical testing workflow

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
78Microsoft Word - WASHINGTON-#v1-WMBA_-_TOC_CFTC_Letters.DOC

Microsoft Word - WASHINGTON-#v1-WMBA_-_TOC_CFTC_Letters.DOC

Add to Reading List

Source URL: www.wmbaa.com

Language: English - Date: 2012-01-31 13:57:28
79The Honorable Secretary Alex Azar U.S. Department of Health and Human Services Hubert H. Humphrey Building 200 Independence Avenue S.W. Washington, D.C

The Honorable Secretary Alex Azar U.S. Department of Health and Human Services Hubert H. Humphrey Building 200 Independence Avenue S.W. Washington, D.C

Add to Reading List

Source URL: www.plannedparenthoodaction.org

Language: English - Date: 2018-06-04 20:30:58
80February 22, 2016 Mr. Christopher Kirkpatrick, Secretary Commodity Futures Trading Commission Three Lafayette Centre 1155 21st Street, N.W. Washington, D.C

February 22, 2016 Mr. Christopher Kirkpatrick, Secretary Commodity Futures Trading Commission Three Lafayette Centre 1155 21st Street, N.W. Washington, D.C

Add to Reading List

Source URL: www.wmbaa.com

Language: English - Date: 2016-06-07 13:27:02