Results 21 to 30 of about 116 (111)
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 +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 +4 more
doaj +1 more source
Testing concolic execution through consistency checks
Journal of Systems and Software, 2023 Symbolic execution is a well-known software testing technique that evaluates how a program runs when considering a symbolic input, i.e., an input that can initially assume any concrete value admissible for its data type. The dynamic twist of this technique is dubbed concolic execution and has been demonstrated to be a practical technique for testing ...
Emilio Coppa, Alessio Izzillo
openaire +1 more source
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 +5 more
openaire +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 0006 +2 more
openaire +1 more source
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 +2 more
openaire +1 more source
Boosting concolic testing via interpolation [PDF]
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013 Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major limitations is path-explosion that limits the generation of high coverage inputs. Since its inception several ideas have been proposed to attack this problem from various angles: defining search heuristics that increase coverage ...
Joxan Jaffar +2 more
openaire +1 more source
Improving test suite generation quality through machine learning-driven boundary value analysis
ArrayBoundary 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 +2 more
doaj +1 more source
MachinesRobotic 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 +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