How software engineering research aligns with design science: a review

E Engström, MA Storey, P Runeson, M Höst… - Empirical Software …, 2020 - Springer
Background Assessing and communicating software engineering research can be
challenging. Design science is recognized as an appropriate research paradigm for applied …

sfuzz: An efficient adaptive fuzzer for solidity smart contracts

TD Nguyen, LH Pham, J Sun, Y Lin… - Proceedings of the ACM …, 2020 - dl.acm.org
Smart contracts are Turing-complete programs that execute on the infrastructure of the
blockchain, which often manage valuable digital assets. Solidity is one of the most popular …

Concolic testing for deep neural networks

Y Sun, M Wu, W Ruan, X Huang… - Proceedings of the 33rd …, 2018 - dl.acm.org
Concolic testing combines program execution and symbolic analysis to explore the
execution paths of a software program. In this paper, we develop the first concolic testing …

Send hardest problems my way: Probabilistic path prioritization for hybrid fuzzing

L Zhao, Y Duan, J XUAN - 2019 - ink.library.smu.edu.sg
Hybrid fuzzing which combines fuzzing and concolic execution has become an advanced
technique for software vulnerability detection. Based on the observation that fuzzing and …

Robot: Robustness-oriented testing for deep learning systems

J Wang, J Chen, Y Sun, X Ma, D Wang… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
Recently, there has been a significant growth of interest in applying software engineering
techniques for the quality assurance of deep learning (DL) systems. One popular direction is …

Sustainable security for the internet of things using artificial intelligence architectures

C Iwendi, SU Rehman, AR Javed, S Khan… - ACM Transactions on …, 2021 - dl.acm.org
In this digital age, human dependency on technology in various fields has been increasing
tremendously. Torrential amounts of different electronic products are being manufactured …

FUZZOLIC: Mixing fuzzing and concolic execution

L Borzacchiello, E Coppa, C Demetrescu - Computers & Security, 2021 - Elsevier
In the last few years, a large variety of approaches and methodologies have been explored
in the context of software testing, ranging from black-box techniques, such as fuzzing, to …

Grey-box concolic testing on binary code

J Choi, J Jang, C Han, SK Cha - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
We present grey-box concolic testing, a novel path-based test case generation method that
combines the best of both white-box and grey-box fuzzing. At a high level, our technique …

Evaluating and improving hybrid fuzzing

L Jiang, H Yuan, M Wu, L Zhang… - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
To date, various hybrid fuzzers have been proposed for maximal program vulnerability
exposure by integrating the power of fuzzing strategies and concolic executors. While the …

Westworld: Fuzzing-assisted remote dynamic symbolic execution of smart apps on iot cloud platforms

L Luo, Q Zeng, B Yang, F Zuo, J Wang - Proceedings of the 37th Annual …, 2021 - dl.acm.org
Existing symbolic execution typically assumes the analyzer can control the I/O environment
and/or access the library code, which, however, is not the case when programs run on a …