Symbolic execution

Bài viết trình bày tập trung hướng nghiên cứu của mình vào việc tích hợp với chatbot thông minh cùng với thực thi Symbolic Execution để xác minh các hợp đồng thông minh Ethereum. Thông qua trò chuyện với người dùng, chatbot đóng vai trò là một đại diện trung gian nắm bắt ý định của người dùng, dẫn dắt và lấy các thông tin cần thiết cho việc xác thực.

7p vijihyo2711 25-09-2021 39 3   Download

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 17 5   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 34 4   Download

In debug configuration and execute it in debug mode, more is going on than the execution of your code. Debug builds maintain symbolic information about your application, so that the IDE knows exactly what is happening as each line of code is executed In release configuration, application code is optimized. However, release builds also run faster; and when you have finished developing an application, you will typically supply users with release builds because they won’t require the symbolic information thatdebug builds include...

48p quihaha 14-05-2012 53 9   Download

C Shell (csh) 45 • uses C-like syntax for scripting • I/O more awkward than Bourne shell • nicer for interactive use • job control • history • default prompt is % • uses ˜ symbol to indicate a home directory (user’s or others’) University Technology Services Other Shells 45 Based on the Bourne Shell: • Korn (ksh) • Bourne-Again Shell (bash) • Z Shell (zsh) Based on the C Shell: • T-C shell (tcsh) University Technology Services Built-in Shell Commands 46–47 The shells have a number of built-in commands: • executed directly by the shell • don’t have to call another program to be run •...

66p kaka 29-07-2010 73 6   Download