搜索结果: 1-6 共查到“计算机科学技术 Execution”相关记录6条 . 查询时间(0.093 秒)
Execution Generated Test Cases:How to Make Systems Code Crash Itself
Execution Generated Test Cases Systems Code Crash Itself
2015/8/7
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using
a combination of symbolic and concrete (i.e., regular) execution. The input values to ...
Automatically Generating Malicious Disks using Symbolic Execution
Automatically Generating Malicious Disks Symbolic Execution
2015/8/7
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant violations before usin...
Under-constrained Execution:Making Automatic Code Destruction Easy and Scalable
Bug finding symbolic execution dynamic analysis
2015/8/7
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...
武汉理工大学现代计算机体系结构英文课件Lecture10 Out of Order and Speculative Execution
武汉理工大学 现代计算机体系结构 英文 课件 Lecture10 Out of Order and Speculative Execution
2015/6/1
武汉理工大学现代计算机体系结构英文课件Lecture10 Out of Order and Speculative Execution。
Can a Ris/Pacs System Really Improve Execution and Reporting Times?
Radiology Information System (RIS) X-Rays (XR) Picture Archiving and Communication System (PACS) Computed Tomography (CT) Magnetic Resonance Imaging (MRI)
2013/1/28
A study of the process timing and organization has been done in a Radiology Department where Radiology Information System (RIS) and Picture Archiving and Communication System (PACS) are working. The w...
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...