Title:
SYMBOLIC EXECUTION OF MACHINE CODE FOR SOFTWARE TESTING
Document Type and Number:
WIPO Patent Application WO/2024/074163
Kind Code:
A1
Abstract:
The present invention relates to a method of symbolically executing a program on a computer device, a corresponding non-transitory computer-readable storage medium and a corresponding system.
Inventors:
KIRSCH RENÉ CHRISTOPH (CZ)
LEI STEFANIE MUROYA (PE)
STARZINGER MICHAEL (AT)
LEI STEFANIE MUROYA (PE)
STARZINGER MICHAEL (AT)
Application Number:
PCT/CZ2023/050058
Publication Date:
April 11, 2024
Filing Date:
September 01, 2023
Export Citation:
Assignee:
CESKE VYSOKE UCENI TECH V PRAZE (CZ)
International Classes:
G06F11/36; G06F8/41
Foreign References:
| US20130283236A1 | 2013-10-24 |
Other References:
KLOIBHOFER SEBASTIAN SEBASTIAN KLOIBHOFER@JKU AT ET AL: "SymJEx: symbolic execution on the GraalVM", PROCEEDINGS OF THE 2021 5TH INTERNATIONAL CONFERENCE ON ELECTRONIC INFORMATION TECHNOLOGY AND COMPUTER ENGINEERING, ACMPUB27, NEW YORK, NY, USA, 4 November 2020 (2020-11-04), pages 63 - 72, XP058873828, ISBN: 978-1-4503-8432-2, DOI: 10.1145/3426182.3426187
Attorney, Agent or Firm:
POLJAK, Michal (CZ)
Download PDF:
Previous Patent: METHOD AND SYSTEM FOR TREATMENT OF LITHIFEROUS ORE
Next Patent: DIALOGUE-BASED RECEPTION SYSTEM
Next Patent: DIALOGUE-BASED RECEPTION SYSTEM