Results 31 to 40 of about 308 (122)

Towards optimal concolic testing

Proceedings of the 40th International Conference on Software Engineering, 2018
Concolic testing integrates concrete execution (e.g., random testing) and symbolic execution for test case generation. It is shown to be more cost-effective than random testing or symbolic execution sometimes. A concolic testing strategy is a function which decides when to apply random testing or symbolic execution, and if it is the latter case, which ...
WANG, Xinyu, SUN, Jun, CHEN, Zhenbang, ZHANG, Peixin, WANG, Jingyi, LIN, Yun   +5 more
openaire   +3 more sources

Deobfuscation, unpacking, and decoding of obfuscated malicious JavaScript for machine learning models detection performance improvement

CAAI Transactions on Intelligence Technology, Volume 5, Issue 3, Page 184-192, September 2020., 2020
Obfuscation is rampant in both benign and malicious JavaScript (JS) codes. It generates an obscure and undetectable code that hinders comprehension and analysis. Therefore, accurate detection of JS codes that masquerade as innocuous scripts is vital. The existing deobfuscation methods assume that a specific tool can recover an original JS code entirely.
Samuel Ndichu, Sangwook Kim, Seiichi Ozawa   +2 more
wiley   +1 more source

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

IET Cyber-Physical Systems: Theory &Applications, Volume 5, Issue 1, Page 1-24, March 2020., 2020
Dependency on the correct operation of embedded systems is rapidly growing, mainly due to their wide range of applications. Their structures are becoming more complex and currently require multi‐core processors with scalable shared memory, signal‐processing pipelines, and sophisticated software modules to meet increasing computational power ...
Lucas C. Cordeiro, Eddie B. de Lima Filho, Iury V. Bessa   +2 more
wiley   +1 more source

Dynamic analysis of programs with graphical user interface based on symbolic execution

Труды Института системного программирования РАН, 2018
In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic testing) methods to applications with graphical user interfaces.
S. P. Vartanov, A. Y. Gerasimov, M. K. Ermakov, D. O. Kutz, A. A. Novikov   +4 more
doaj   +1 more source

Automated concolic testing of smartphone apps [PDF]

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 2012
We present an algorithm and a system for generating input events to exercise smartphone apps. Our approach is based on concolic testing and generates sequences of events automatically and systematically. It alleviates the path-explosion problem by checking a condition on program executions that identifies subsumption between different event sequences ...
Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang   +3 more
openaire   +1 more source

Legion [PDF]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
12 pages, 2 Algorithms, 3 Figures, 2 Tables ...
Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I. P.   +3 more
openaire   +2 more sources

Concolic testing for functional languages

Science of Computer Programming, 2015
Concolic testing is a software testing technique combining concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new test inputs that give better path coverage than random test case generation).
Aggelos Giantsios, Nikolaos Papaspyrou, Konstantinos Sagonas   +2 more
openaire   +1 more source

Improving test suite generation quality through machine learning-driven boundary value analysis

Array
Boundary value analysis (BVA) is a widely used method in software testing to identify errors at the boundaries of input domains. However, traditional BVA is resource intensive and often impractical for complex systems with expansive input spaces.
Xiujing Guo, Hiroyuki Okamura, Tadashi Dohi   +2 more
doaj   +1 more source

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis

Machines
Robotic Process Automation is a technology that replicates human interactions with user interfaces across various applications. However, testing Robotic Process Automation implementations remains challenging due to the dynamic nature of workflows.
Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu   +2 more
doaj   +1 more source

Investigation into the effectiveness of white‐box T‐way testing

IET Software, Volume 13, Issue 6, Page 610-616, December 2019., 2019
An unduly large number of test cases are required for effective testing of programmes containing complex decision statements. In this context, modified condition/decision coverage (MC/DC) testing has been acknowledged to provide effective testing using a test suite whose size is linear in the number of the clauses present in a predicate.
Arpita Dutta, Anwesha Patel, Rajib Mall
wiley   +1 more source