Suchergebnisse - "Theory of computation Models of computation Abstract machine"

Symbolic execution for software testing in practice: preliminary assessment von Cadar, Cristian, Godefroid, Patrice, Khurshid, Sarfraz, Păsăreanu, Corina S., Sen, Koushik, Tillmann, Nikolai, Visser, Willem

“… We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis …”
Volltext

DySy: dynamic symbolic execution for invariant inference von Csallner, Christoph, Tillmann, Nikolai, Smaragdakis, Yannis

“… Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic …”
Volltext

WDD: Weighted Delta Debugging von Zhou, Xintong, Xu, Zhenyang, Zhang, Mengxiao, Tian, Yongqiang, Sun, Chengnian

“… Delta Debugging is a widely used family of algorithms (e.g., ddmin and ProbDD) to automatically minimize bug-triggering test inputs, thus to facilitate …”
Volltext

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing von Ye, Jiaming, Xia, Shangzhou, Zhang, Fuyuan, Arcaini, Paolo, Ma, Lei, Zhao, Jianjun, Ishikawa, Fuyuki

“… The recent fast development of quantum computers breaks several computation limitations that are difficult for conventional computers. Up to the present, …”
Volltext

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving von Wang, Qichang, Chen, Chuyang, Xu, Ruiyang, Sun, Haiying, Wan, Chengcheng, Su, Ting, Zhang, Yueling, Pu, Geguang

“… Modern symbolic execution techniques face the challenge of handling closed-box (CB) functions (e.g., system calls, library functions) whose source code is …”
Volltext

Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch von Lee, Jaehyeok, Cha, Sooyoung

“… We present TopSeed, a new approach that automatically selects optimal seeds to enhance symbolic execution. Recently, the performance of symbolic execution has …”
Volltext

Using symbolic evaluation to understand behavior in configurable software systems von Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam

“… Many modern software systems are designed to be highly configurable, which increases flexibility but can make programs hard to test, analyze, and understand …”
Volltext

Compiled Symbolic Simulation for SystemC von Herdt, Vladimir, Le, Hoang M., Grosse, Daniel, Drechsler, Rolf

“… Ensuring the correctness of SystemC virtual prototypes is indispensable. For such models, existing symbolic simulation approaches are based on interpreting …”
Volltext

Juzi: a tool for repairing complex data structures von Elkarablieh, Bassem, Khurshid, Sarfraz

“… This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a …”
Volltext

Test generation for graphical user interfaces based on symbolic execution von Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E

“… While Graphical User Interfaces (GUIs) have become ubiquitous, testing them remains largely ad-hoc. Since the state of a GUI is defined by a sequence of events …”
Volltext

Static analysis tools as early indicators of pre-release defect density von Nagappan, Nachiappan, Ball, Thomas

“… During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of …”
Volltext

An empirical study of optimizations in YOGI von Nori, Aditya V., Rajamani, Sriram K.

“… Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite …”
Volltext

Program analysis: from qualitative analysis to quantitative analysis (NIER track) von Liu, Sheng, Zhang, Jian

“… We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use …”
Volltext

Quality assurance of automotive hybrid embedded software von Zander-Nowicka, Justyna

“… Quality assurance (QA) is a crucial part of the software engineering, especially when the developed systems are safety-critical. It becomes even more complex …”
Volltext

Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams von Zhang, Xiangyu, Gupta, Rajiv, Zhang, Youtao

“… Dynamic slicing algorithms can greatly reduce the debuggingeffort by focusing the attention of the user on a relevantsubset of program statements. Recently …”
Volltext

CIVL: the concurrency intermediate verification language von Siegel, Stephen F., Zheng, Manchun, Luo, Ziqing, Zirkel, Timothy K., Marianiello, Andre V., Edenhofner, John G., Dwyer, Matthew B., Rogers, Michael S.

“… There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and …”
Volltext

Parameterized unit testing: theory and practice von Tillmann, Nikolai, de Halleux, Jonathan, Xie, Tao

“… Unit testing has been widely recognized as an important and valuable means of improving software reliability, as it exposes bugs early in the software …”
Volltext

Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving car von Kim, Junsung, Kim, Hyoseung, Lakshmanan, Karthik, Rajkumar, Ragunathan (Raj)

“… As the complexity of software for Cyber-Physical Systems (CPS) rapidly increases, multi-core processors and parallel programming models such as OpenMP become …”
Volltext

Dynamic symbolic data structure repair von Hussain, Ishtiaque, Csallner, Christoph

“… Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices …”
Volltext

Bridging the Gap Between the Theory and Practice of Software Test Automation von Budnik, Christof J., Chan, Wing Kwong, Kapfhammer, Gregory M.

“… In software development practice, testing often accounts for as much as 50% of the total development effort. It is therefore imperative to reduce the cost and …”
Volltext