3 citations · 6 across the 4 of their papers we have counts for
4 papers
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Nicolas Berthier, Steven De Oliveira, Nikolai Kosmatov +2
Dynamic symbolic execution (DSE) is a powerful test generation approach based on an exploration of the path space of the program under test. Well-adapted for path coverage, this ap…
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)
Nicolas Berthier, Narges Khakpour
In the realm of sound object-oriented program analyses for information-flow control, very few approaches adopt flow-sensitive abstractions of the heap that enable a precise modelin…
Tutorials on Testing Neural Networks
Nicolas Berthier, Youcheng Sun, Wei Huang +3
Deep learning achieves remarkable performance on pattern recognition, but can be vulnerable to defects of some important properties such as robustness and security. This tutorial i…
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Nicolas Berthier, Amany Alshareef, James Sharp +2
Intensive research has been conducted on the verification and validation of deep neural networks (DNNs), aiming to understand if, and how, DNNs can be applied to safety critical ap…