Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

Source URL: zhang-sai.github.io

31. More tests comparing Stryd and Garmin Running Power In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the

Source URL: thesecretofrunning.com

• Meteorology
• Electronics
• Wind power
• Garmin
• Wind speed
• Wind

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

Source URL: zhang-sai.github.io

• Computer programming
• Software engineering
• Infinite loop
• Recursion
• Software development
• Software testing
• Java
• Extreme programming

Synthesizing Memory Models from Framework Sketches
 and Litmus Tests James Bornholt
 Emina Torlak

Source URL: unsat.cs.washington.edu

• Computing
• Compiler construction
• Software engineering
• Computer memory
• Concurrency
• Programming language design
• Compiler
• Programming language implementation
• Consistency model
• Memory model
• Kernel

32. First tests on Power2Run In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the performance in running and

Source URL: thesecretofrunning.com

• IOS
• Technology
• Electronics
• Computing
• Videotelephony
• ITunes
• Wearable devices
• IPhone
• Smartphones
• Garmin
• Apple Inc.
• Apple Watch

Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the

Source URL: zhang-sai.github.io

• Software testing
• Software development
• Software engineering
• Computing
• Debugging
• Program slicing
• Unit testing
• Test automation

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic

Rare Variant Burden Tests

Source URL: genome.sph.umich.edu

European Stress Tests for Nuclear Power Plants

Source URL: www.stuk.fi