Parallel Chopped Symbolic Execution

von Singh, Shikhar
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Runtime verification : Second international conference, RV 2011, San Francisco, CA, USA, September 27 - 30, 2011 ; revised selected papers

Veröffentlicht 2012

DEEP MOLECULAR PROGRAMMING:A NATURAL IMPLEMENTATION OF BINARY-WEIGHT RELU NEUTRAL NETWORKS

von Vasic, Marko
Veröffentlicht in International Conference on Machine Learning (37. : 2020 : Online) 37th International Conference on Machine Learning (ICML 2020) ; Part 13 of 15 (2021)

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy

von Wang, Wenxi
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)

A Study of Symmetry Breaking Predicates and Model Counting

von Wang, Wenxi
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)