Results 81 to 90 of about 1,018,291 (234)
SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING
Tạp chí Khoa học Đại học Đà Lạt, 2016 In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in ...
Tô Hữu Nguyên +3 more
doaj +1 more source
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Open Computer Science, 2020 Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing.
Fülöp Endre, Pataki Norbert
doaj +1 more source
Test Case Generation for Object-Oriented Imperative Languages in CLP
, 2010 Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a system under test.
Albert +7 more
core +1 more source
Symbolic execution optimization method based on input constraint
Tongxin xuebao, 2019 To solve path explosion,low rate of new path’s finding in the software testing,a new vulnerability discovering architecture based on input constraint symbolic execution (ICBSE) was proposed.ICBSE analyzed program source code to extract three types of ...
Sunlyu WANG +3 more
doaj +2 more sources
A Logic for Constraint-based Security Protocol Analysis [PDF]
, 2006 We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties.
Corin, R.J., Etalle, S., Saptawijaya, A.
core +5 more sources
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
International Conference on Software Engineering, 2020 Floating point is widely used in software to emulate arithmetic over reals. Unfortunately, floating point leads to rounding errors that propagate and accumulate during execution.
Hui Guo, Cindy Rubio-González
semanticscholar +1 more source
Static Analysis of Complex Loop Structures
Безопасность информационных технологий, 2013 This paper is devoted to the advance of the existing analysis methods of data flow of software by using static analysis. It introduces a novel method which can calculate possible ranges of values of data in code in dependence on input data which can be ...
Iliya Viktorovich Arzamartsev +1 more
doaj
Prototyping symbolic execution engines for interpreted languages [PDF]
, 2014 Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python.
Cadar C. +4 more
core +1 more source
KLEE symbolic execution engine in 2019
International Journal on Software Tools for Technology Transfer (STTT), 2020 KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and now primarily developed and maintained by the Software Reliability Group at Imperial College London.
Cristian Cadar, M. Nowack
semanticscholar +1 more source
Reactive with tags classifier system applied to real robot navigation [PDF]
, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Barcelona, 18-21 October 1999.A reactive with tags classifier system (RTCS) is a special classifier system.
Isasi, Pedro +3 more
core +3 more sources