首页> 外文OA文献 >A Visual Interactive Debugger Based on Symbolic Execution ∗

【2h】

A Visual Interactive Debugger Based on Symbolic Execution ∗

机译：基于符号执行的可视化交互式调试器

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Reiner Hähnle; Marcus Baum; Richard Bubel; Marcel Rothe;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more [J] . Hentschel Martin, Bubel Richard, Haehnle Reiner International Journal on Software Tools for Technology Transfer . 2019,第5期

机译：符号执行调试器（SED）：用于交互式符号执行，调试，验证等的平台
2. This visualization of software execution is a new necessity for performance profiling and debugging. [J] . BRENDAN GREGG, NETFLIX ACM Queue: Architecting Tomorrow s Computing . 2016,第2期

机译：这种软件执行的可视化是性能分析和调试的新必需。
3. The Flame Graph: THIS VISUALIZATION OF SOFTWARE EXECUTION IS A NEW NECESSITY FOR PERFORMANCE PROFILING AND DEBUGGING [J] . BRENDAN GREGG ACM Queue: Architecting Tomorrow s Computing . 2016,第2期

机译：火焰图：这种软件执行的可视化是性能分析和调试的新必需品
4. A Visual Interactive Debugger Based on Symbolic Execution [C] . Reiner Hahnle, Marcus Baum, Richard Bubel IEEE/ACM international conference on automated software engineering 2010 . 2010

机译：基于符号执行的可视化交互式调试器
5. A Browser-based Program Execution Visualizer for Learning Interactive Programming in Python [D] . Tang, Lei. 2015

机译：一种基于浏览器的程序执行Visualizer，用于在Python中学习交互式编程
6. Biomedical image representation approach using visualness and spatial information in a concept feature space for interactive region-of-interest-based retrieval [O] . Md. Mahmudur Rahman, Sameer K. Antani, Dina Demner-Fushman, 2015

机译：在概念特征空间中使用视觉和空间信息的生物医学图像表示方法用于基于兴趣区域的交互式检索
7. Interactive design and debugging of gpu-based volume visualizations [O] . Jennis Meyer-spradow, Timo Ropinski, Klaus Hinrichs 2010

机译：基于gpu的卷可视化的交互式设计和调试

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号