Thread
Stories related to "Diff the behavior of two python functions" across the full archive.
I thought https://sans-io.readthedocs.io/ was a great idea. As someone playing with asyncio, I find myself having to use libraries with poor/buggy protocol support.
But parsing protocols is hard. So I wanted to provide developers a library that will ease development of `sans-io` libraries. I also...
Building Robust Dist Systems and Network Protocols Using Adversarial Testing and Behavioral Analysis
(nds2.ccs.neu.edu)
(2016)
Abstract: "We describe our experience over the past five years with building more robust distributed systems and network protocols by using adversarial testing and behavioral analysis. We describe the benefits and disadvantages of both approaches and the design of the tools we have built (...
The tool is available at https://github.com/marcoeilers/nagini
Node.js 8 and Python 3.7 runtimes now available in Google Cloud Functions
(cloudplatform.googleblog.com)
From C to Interaction Trees: Specifying Verifying and Testing of a Networked Server (2018)
(arxiv.org)
Abstract: "We present the first formal verification of a networked server implemented in C. Interaction trees, a general structure for representing reactive computations, are used to tie together disparate verification and testing tools (Coq, VST, and QuickChick) and to axiomatize the behavior of th...
See also the playground: https://crosshair-web.org/
Providing Internet access to billions of people worldwide is one of the main technical
challenges in the current decade. The Internet access edge connects each residential
and mobile subscriber to this network and ensures a certain Quality of Service (QoS).
...
In this thesis, we design network...