Výsledky vyhledávání - Theory of computation Models of computation Abstract machine

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving Autor 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…”
Získat plný text

Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch Autor 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…”
Získat plný text

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing Autor 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…”
Získat plný text

WDD: Weighted Delta Debugging Autor 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…”
Získat plný text

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

“… The symbolic execution produces abstract…”
Získat plný text

Symbolic execution for software testing in practice: preliminary assessment Autor 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…”
Získat plný text

Compiled Symbolic Simulation for SystemC Autor 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 their behavior…”
Získat plný text

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

“… We conjecture that, at certain levels of abstraction, configuration spaces are far smaller than the worst case, in which every configuration is distinct…”
Získat plný text

Juzi: a tool for repairing complex data structures Autor 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…”
Získat plný text

Test generation for graphical user interfaces based on symbolic execution Autor 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…”
Získat plný text

Static analysis tools as early indicators of pre-release defect density Autor 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…”
Získat plný text

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

“… before. We describe and evaluate several engineering optimizations implemented in the Yogi property checking tool, including techniques to pick an initial abstraction, heuristics to pick predicates…”
Získat plný text

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

“…We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches…”
Získat plný text

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

“… Recently algorithms forforward computation of dynamic slices have beenproposed which maintain dynamic slices of all variables asthe program executes…”
Získat plný text

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

“… CIVL provides a general concurrency model capable of representing programs in a variety of concurrency dialects, including those listed above…”
Získat plný text

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

“… In the following, we present an approach to QA at the model integration level. In particular, we discuss failure management (FM) and testing…”
Získat plný text

Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving car Autor 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 appealing to CPS developers for guaranteeing timeliness…”
Získat plný text

Dynamic symbolic data structure repair Autor 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…”
Získat plný text

Parameterized unit testing: theory and practice Autor 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…”
Získat plný text

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

“…-)automated testing techniques. As the theory and practice of software testing becomes more mature, a deeper and more meaningful automation of the testing process is possible…”
Získat plný text