research
∙
11/26/2022
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Dynamic symbolic execution (DSE) is a powerful test generation approach ...
share
research
∙
11/07/2022
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)
In the realm of sound object-oriented program analyses for information-f...
research
∙
08/03/2021
Tutorials on Testing Neural Networks
Deep learning achieves remarkable performance on pattern recognition, bu...
research
∙
03/05/2021