Search

5 Nov 2023: More test values --> less probability of error. They use "arithmetic circuits" (dataflow graphs, I guess?) instead of boolean ones to save time computing results. ... They try flipping the order of apparently racey interactions and test the program

5 Nov 2023: Evaluated with mininet. Cannot generate enough traffic on a single host to test this.

5 Nov 2023: Somehow, these are chosen automatically by something called the "test framework" (I did not fully understand how this works).

5 Nov 2023: 10:30:12 AM) smowton: remaining 20% used to test. (10:30:36 AM) smowton: found that total amount users could steal is always <= their previous successful transactions.

5 Nov 2023: CentOS Linux: A Continuously integrating platform. CentOS has thousands of extra tests, performed on every build. ... Q: How about tests? A: We have a test suite but we'd like to automatically generate tests and run them against other implementations to

5 Nov 2023: We show through several micro-benchmark tests that the adaptive sampling scheme adjusts the sampling rate of sensors dynamically based on the user's context and balances energy-accuracy-latency

5 Nov 2023: You need an all-inclusive system. People want pluggability. Dev/test tools and different from production tools. ... CentOS Linux: A Continuously integrating platform. CentOS has thousands of extra tests, performed on every build.

5 Nov 2023: Not only competitions could attract an army of approximately 10 million data analysts around the globe, but the design of them could promise a sustainable economic model that would bring money

5 Nov 2023: We show through several micro-benchmark tests that the adaptive sampling scheme adjusts the sampling rate of sensors dynamically based on the user's context and balances energy-accuracy-latency

5 Nov 2023: We can use the contract exercise function to generate random functions to test monitors. ... 3) Creating code templates from types, fill in the template. 4) Test, review and re-factor.