Dynamic symbolic execution (DSE) is a powerful test generation approach ...
In the realm of sound object-oriented program analyses for information-f...
Deep learning achieves remarkable performance on pattern recognition, bu...
Intensive research has been conducted on the verification and validation...