Abstract: Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing ...
Abstract: Synchronous programs are used to implement safety critical embedded software. Efficiently compiling imperative synchronous programs into small and fast executables is challenging, due to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results