不变量与程序修复相关论文
Ⅰ Invariant-based Program Repair 引用：Al-Bataineh O I. Invariant-based Program Repair[J]. arXiv preprint arXiv:2312.16652, 2023. 0 摘要 本论文描述了一种 基于程序中ivariants概念的正式通用的自动化程序修复框架。 在上述框架中，动态分析缺陷程序的运行踪迹，推断出特征 φcorrect\varphi_{correct}φcorrect 和 φviolated\varphi_{violated}φviolated，其中 φcorrect\varphi_{correct}φcorrect 表示可能不变量（良好模式）的集合，这些不变量是运行成功所需的，而 φviol..
Read more不变量推断论文
0 基于动态分析的软件不变量综合技术 (动态不变量综述) 引用：Wang B, Lu SR, Jiang JJ, Xiong YF. Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques[J]. Journal of Software, 2020, 31(6): 1681-1702(in Chinese). http://www.jos.org.cn/1000-9825/6014.htm 软件学报 2 Searching for invariants using genetic programming and mutation testing 引用：Ratcliff S, White D R, Clark J A..
Read more不变量代表功能能力相关论文阅读
[toc] Ⅰ Automatic test case and test oracle generation based on functional scenarios in formal specifications for conformance testing TODO:还挺难的，慢慢看吧 引用：Liu S, Nakajima S. Automatic test case and test oracle generation based on functional scenarios in formal specifications for conformance testing[J]. IEEE Transactions on Software Engineering, 2020, 48(2): ..
Read more不变量与测试用例相关论文
2 The Oracle Problem in Software Testing: A Survey 引用：Barr E T, Harman M, McMinn P, et al. The oracle problem in software testing: A survey[J]. IEEE transactions on software engineering, 2014, 41(5): 507-525. CCF A TSE 链接 2.0 摘要 本文提供了对测试预言问题的当前方法的全面调查，以及在这一重要的软件测试研究和实践领域的分析趋势。 在软件测试的许多工作中，我们试图将测试过程尽可能地自动化，以使测试更快、更便宜和更可靠。为此，我们需要一个测试预言，这是一种能够区分被测系统（Sys..
Read moredaikon使用
1 介绍 Daikon是一个动态检测不变量的工具 不变量是程序中某个特定点上保持为真的属性，这些通常出现在断言语句，文档和形式化规范中。 不变量在程序理解和其它许多应用中都非常有用，例如，不变量可以是 x.field > abs(y) y = 2 * x + 3 数组a是有序的 对于所有的列表对象lst，kst.next.prev = lst 等等，用户可以扩展Daikon以添加新的属性 动态不变量检测通过运行程序，观察程序计算的值，然后报告在观察到的执行过程中始终为真的属性。 Daikon可以在C、C++、C#、Eiffel、F#、Java、Perl和Visual Basic程序中检测属性 在spreedsheet文件中 以及其它数据源中（动态不变量监测是一种可以应用于任意数据..
Read more_1.png)
Software Debloating 论文阅读 （11）SOK2.0
@article{brown2023sok, title={SoK: A Broad Comparative Evaluation of Software Debloating Tools}, author={Brown, Michael D and Meily, Adam and Fairservice, Brian and Sood, Akshay and Dorn, Jonathan and Kilmer, Eric and Eytchison, Ronald}, journal={arXiv preprint arXiv:2312.13274}, year={2023} } SoK:..
Read more复杂软件简化分析实验
实验按照对每个工具运行每个基准 RAZOR 获取镜像sudo docker pull chenxiong/razor:0.01 运行镜像sudo docker run --name container_name -d -it chenxiong/razor:0.01 更新razor仓库 替换debian源为阿里源sudo vim /etc/apt/sources.list deb http://mirrors.aliyun.com/debian/ buster main non-free contrib deb http://mirrors.aliyun.com/debian/ buster-updates main non-free contrib deb http://mirrors.aliyun...
Read more_1.png)
Software Debloating 论文阅读 （10）OCCAM-v2
@article{navas2022occam, title={OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis}, author={Navas, Jorge A and Gehani, Ashish}, journal={Queue}, volume={20}, number={5..
Read more_1.png)
Software Debloating 论文阅读 (7) BLADE
@article{aliblade, title={BLADE: Scalable Source Code Debloating Framework}, author={Ali, Muaz and Habib, Rumaisa and Gehani, Ashish and Rahaman, Sazzadur and Uzmi, Zartash} } BLADE: Scalable Source Code Debloating Framework 0 摘要 现有的源代码精简工具在动态云环境中应用时存在可扩展性低和运行时开销高的问题，其中实例会即时启动 （指明场景） 为了解决这一挑战，我们提出了BLADE，它利用常见的编码习惯和语言限制构建..
Read more_1.png)
Software Debloating 论文阅读 (5) DEBOP
@inproceedings{xin2020program, title={Program debloating via stochastic optimization}, author={Xin, Qi and Kim, Myeongsoo and Zhang, Qirun and Orso, Alessandro}, booktitle={Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results}, pages={65--68}, ..
Read more