Results 11 to 20 of about 308 (122)
Concolic Testing Heap-Manipulating Programs [PDF]
, 2019 Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists.
Long Hoang Pham +3 more
openalex +4 more sources
Concolic Testing of JavaScript using Sparkplug [PDF]
JavaScript is prevalent in web and server apps, handling sensitive data. JS testing methods lag behind other languages. Insitu concolic testing for JS is effective but slow and complex. Our method enhances tracing with V8 Sparkplug baseline compiler and remill libraries for assembly to LLVM IR conversion.
Zhe Li, Fei Xie
openalex +3 more sources
Quantum Concolic Testing [PDF]
Proceedings of the ACM on Software EngineeringThis paper presents the first concolic testing framework explicitly designed for quantum programs. The framework introduces quantum constraint generation methods for quantum control statements that quantify quantum states and offers a symbolization method for quantum variables.
Shangzhou Xia +3 more
openalex +3 more sources
Efficient concolic testing of MPI applications [PDF]
Proceedings of the 28th International Conference on Compiler Construction, 2019 Software testing is widely used in industry, but its application in the High Performance Computing area has been scarce. Concolic testing, that automates testing via generation of inputs, has been highly successful for desktop applications and thus recent work on the COMPI tool has extended it to MPI programs. However, COMPI has two limitations. First,
Hongbo Li, Zizhong Chen, Rajiv Gupta
openalex +2 more sources
Abstraction-driven Concolic Testing [PDF]
, 2015 25 ...
Przemysław Daca +2 more
openalex +4 more sources
Towards Concolic Testing for Hybrid Systems [PDF]
, 2016 Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution in order to effectively verify hybrid systems.
Pingfan Kong +5 more
openalex +5 more sources
Structural Concolic Testing for Sequential Function Chart
IFAC-PapersOnLine, 2018 Abstract Graphical programming languages allow for well structured software and support comprehensibility and maintainability of the code. As for industrial applications, Sequential Function Chart(SFC) is a popular graphical language and was introduced by the IEC-61131-3 standard.
Hendrik Simon +2 more
openalex +2 more sources
Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs [PDF]
Annals of computer science and information systems, 2016 Sangharatna Godboley +2 more
doaj +2 more sources
Exploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection
IEEE Access, 2021 Recently, software testing has become a significant component of information security. The most reliable technique for automated software testing is a fuzzing tool that feeds programs with random test-input and detects software vulnerabilities that are ...
Fayozbek Rustamov +3 more
doaj +1 more source