Výsledky vyhledávání - Testing and Debugging— Symbolic execution

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis

Autoři: Ciprian Paduraru Marina Cernat Adelina-Nicoleta Staicu

Zdroj: Machines, Vol 13, Iss 6, p 504 (2025)

Témata: robotic process automation, symbolic execution, concolic testing, workflow testing, automated user interface testing, robotic process automation debugging, Mechanical engineering and machinery, TJ1-1570

Popis souboru: electronic resource

Relation: https://www.mdpi.com/2075-1702/13/6/504; https://doaj.org/toc/2075-1702

Přístupová URL adresa: https://doaj.org/article/43f2aa04b9534d3da564bbe7050c3877

Symbolic Execution and Program Testing.

Autoři: King, James C.

Zdroj: Communications of the ACM. Jul1976, Vol. 19 Issue 7, p385-394. 10p. 10 Diagrams.

Témata: *COMPUTER programming, COMPUTER software testing, DEBUGGING

Symbolic Execution for Software Testing: Three Decades Later.

Autoři: CADAR, CRISTIAN SEN, KOUSHIK

Zdroj: Communications of the ACM. Feb2013, Vol. 56 Issue 2, p82-90. 9p. 1 Black and White Photograph, 4 Diagrams.

Témata: *APPLICATION software, *COMPUTER programming, *TESTING, COMPUTER software testing, DEBUGGING, CONSTRAINT programming

Validation of Abstract Side-Channel Models for Computer Architectures

Autoři: Nemati, Hamed Buiras, Pablo Lindner, Andreas a další

Zdroj: Lecture Notes in Computer Science book series. :225-248

Témata: Information flow security, Microarchitectures, Model validation, Side channels, Testing, Computer aided analysis, Program debugging, Software testing, Indistinguishability, Information flows, Observational models, Program generation, Relational analysis, Side-channel, Symbolic execution, Test program, Computer architecture

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285360
https://doi.org/10.1007/978-3-030-53288-8_12

Enhancing Symbolic Execution with Veritesting.

Autoři: Avgerinos, Thanassis Rebert, Alexandre Sang Kil Cha a další

Zdroj: Communications of the ACM. Jun2016, Vol. 59 Issue 6, p93-100. 8p. 2 Diagrams, 4 Charts, 6 Graphs.

Témata: *AUTOMATION, *ALGORITHMS, COMPUTER software testing, COMPUTER software execution, DEBUGGING, DEBIAN (Operating system)

Integrating Symbolic Execution, Debugging and Verification

Autoři: Hentschel, Martin

Témata: Ph.D. Thesis, NonPeerReviewed, info:eu-repo/semantics/doctoralThesis

URL: http://tuprints.ulb.tu-darmstadt.de/5399/
http://tuprints.ulb.tu-darmstadt.de/5399

Automated Testing and Debugging for Big Data Analytics

Autoři: Gulzar, Muhammad Ali Kim, Miryung1

Témata: Computer science, Big Data Analytics, Cloud Computing, Data-Intensive Scalable Computing, Debugging, Map Reduce, Testing, Publication, Dissertations, Academic Computer Science. UCLA, dissertations., Academic theses, Academic theses., Thèses et écrits académiques.

URL: https://escholarship.org/uc/item/5jg400qz

Discover deeper bugs with dynamic symbolic execution and coverage‐based fuzz testing.

Autoři: Zhang, Bin Feng, Chao Herrera, Adrian a další

Zdroj: IET Software (Wiley-Blackwell). Dec2018, Vol. 12 Issue 6, p507-519. 13p.

Debugging Multithreaded Programs as if They Were Sequential

Autoři: Xiaodong Zhang Zijiang Yang Qinghua Zheng a další

Zdroj: IEEE Access, Vol 6, Pp 40024-40040 (2018)

Témata: Testing, debugging, multithreaded programs, symbolic analysis, constraint solving, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

Relation: https://ieeexplore.ieee.org/document/8357815/; https://doaj.org/toc/2169-3536

Přístupová URL adresa: https://doaj.org/article/e3417ba64fef48699beb398776a462de

Interacting Software Debugging with Symbolic Execution

軟體除錯與符號執行整合互動

Autoři: Chen, Wei-Bo 陳威伯

Thesis Advisors: Chen, Wei-Bo 陳威伯

Popis souboru: 24

Dostupnost: http://ndltd.ncl.edu.tw/handle/t45twv

PEF: Python Error Finder.

Autoři: Barsotti, Damián Bordese, Andrés M. Hayes, Tomás

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2018, Vol. 339, p21-41. 21p.

Témata: Mathematical logic, Debugging, Python programming language, Confirmation (Logic), Error functions

OpenSAW: Open security analysis workbench

Autoři: Ben Henda, N. Johansson, B. Lantz, P. a další

Zdroj: 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. :321-337

Témata: Heuristic algorithms, Software engineering, Software testing, Automated test case generation, Constraint Solving, Exploration strategies, Security analysis, Security problems, Security vulnerabilities, Symbolic execution, Technical aspects, Program debugging

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-207388

Statinė CIL kodo analizė, remiantis simboliniu vykdymu

Additional Titles: Static CIL code analysis using symbolic execution

Autoři: Motiejūnas, Kęstutis Bareiša, Eduardas Butleris, Rimantas a další

Témata: Informatics Engineering, Modeliu paremtas testavimas, Simbolinis vykdymas, SMT, Automatinis vienetų testų generavimas, Net platforma, Symbolic execution, Automated unit test generation, Net platform, Model based testing, Master thesis

URL: http://vddb.laba.lt/fedora/get/LT-eLABa-0001:E.02~2010~D_20100826_104857-00197/DS.005.0.01.ETD

Symbolic execution for chalice

Autoři: Malte Schwerhoff

Témata: CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS), Data processing, computer science, VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), SPEZIELLE PROGRAMMIERSPRACHEN, TESTING + DEBUGGING (SOFTWARE ENGINEERING), SPECIAL PROGRAMMING LANGUAGES, TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING)

Přístupová URL adresa: http://e-collection.library.ethz.ch/view/eth:2640
https://www.research-collection.ethz.ch/mapping/view/eth:2640

On Reducing the Trusted Computing Base in Binary Verification

Autoři: An, Xiaoxin

Thesis Advisors: Electrical and Computer Engineering, Ravindran, Binoy, Lee, Dongyoon, Chantem, Thidapat, Zeng, Haibo, Verbeek, Freek

Témata: Translation Validation, Disassembly Soundness, Binary Verification, Random Testing, Symbolic Execution, Bounded Model Checking

Popis souboru: ETD; application/pdf

Dostupnost: http://hdl.handle.net/10919/110791

F: Towards full system high coverage fuzz testing on binary executables.

Autoři: Zhang, Bin Ye, Jiaxi Bi, Xing a další

Zdroj: PLoS ONE. 5/23/2018, Vol. 13 Issue 5, p1-16. 16p.

Témata: *INTERNET security, *DEBUGGING, *COMPUTER software, *DATA corruption, *COMPUTER programming

Path exploration based on symbolic output

Autoři: Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury a další

Přispěvatelé: Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury a další

Zdroj: http://www.comp.nus.edu.sg/%7Eabhik/pdf/tosem-peso.pdf.

Témata: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, Symbolic execution, D.3.4 [Programming Languages, Processors—Debuggers General Terms, Experimentation, Reliability Additional Key Words and Phrases, Software Testing, Software Evolution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.5414

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.5414
http://www.comp.nus.edu.sg/%7Eabhik/pdf/tosem-peso.pdf

Path exploration based on symbolic output

Autoři: Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury a další

Přispěvatelé: Dawei Qi Hoang D. T. Nguyen Abhik Roychoudhury a další

Zdroj: http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse11.pdf.

Témata: D.2.5 [Software Engineering, Testing and Debugging—Testing tools, Symbolic execution General Terms Experimentation, Performance, Reliability Keywords Path Exploration, Relevant Slice Condition, Symbolic Execution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.4635; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse11.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.4635
http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse11.pdf

SA GE: Whitebox Fuzzing for Security Testing.

Zdroj: Communications of the ACM. Mar2012, Vol. 55 Issue 3, p40-44. 5p. 1 Color Photograph, 2 Diagrams.

Témata: *COMPUTER security, *COMPUTER hackers, *SEARCH algorithms, *COMPUTER architecture, DEBUGGING, BINARY number system

Statinė CIL kodo analizė, remiantis simboliniu vykdymu

Static CIL code analysis using symbolic execution

Autoři: Neverdauskas, Tomas

Thesis Advisors: Motiejūnas, Kęstutis, Bareiša, Eduardas, Butleris, Rimantas, Tomkevičius, Arūnas, Šeinauskas, Rimantas, Štuikys, Vytautas, Packevičius, Šarūnas, Nemuraitė, Lina, Kaunas University of Technology

Témata: Informatics Engineering, Modeliu paremtas testavimas, Simbolinis vykdymas, SMT, Automatinis vienetų testų generavimas, Net platforma, Symbolic execution, Automated unit test generation, Net platform, Model based testing

Popis souboru: application/pdf

Dostupnost: http://vddb.laba.lt/fedora/get/LT-eLABa-0001:E.02~2010~D_20100826_104857-00197/DS.005.0.01.ETD