使用不变量在回归测试和错误定位
Using automatically generated invariants for regression testing and bug localization 引用：Sagdeo P, Ewalt N, Pal D, et al. Using automatically generated invariants for regression testing and bug localization[C], 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2013: 634-639. CCF A ASE 链接 1 介绍 在软件开发和部署后，检测和定位软件中的错误..
Read moreDaikon论文
1 The Daikon system for dynamic detection of likely invariants 引用：Ernst M D, Perkins J H, Guo P J, et al. The Daikon system for dynamic detection of likely invariants[J]. Science of computer programming, 2007, 69(1-3): 35-45. 0 摘要 Daikon是一个动态检测不变量的工具 不变量是在程序的某个点或点上保持的属性；这些通常用于assert语句、文档和形式规范。例如包括常数（x = a）、非零（x ≠ 0）、处于范围内（a ≤ x ≤ b）、线性关系（y = ax + b）、排序（..
Read more人工分类动态不变量的用户研究
Understanding user understanding: determining correctness of generated program invariants 引用：Staats M, Hong S, Kim M, et al. Understanding user understanding: determining correctness of generated program invariants[C]，Proceedings of the 2012 International Symposium on Software Testing and Analysis. 2012: 188-198. 等级：CCF A ISSTA 链接 1 介绍 问题：软件测试涉及两部分，test..
Read moreSoftware Debloating 论文阅读 (9) OCCAM
@inproceedings{malecha2015automated, title={Automated software winnowing}, author={Malecha, Gregory and Gehani, Ashish and Shankar, Natarajan}, booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing}, pages={1504--1511}, year={2015} } OCCAM:Automated Software Winno..
Read more_1.png)
Software Debloating 论文阅读 (8) CARVE
@inproceedings{brown2019carve, title={Carve: Practical security-focused software debloating using simple feature set mappings}, author={Brown, Michael D and Pande, Santosh}, booktitle={Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation}, pages={1--7}, year={..
Read moreSoftware Debloating 论文阅读 (6) DomGad
Subdomain-Based Generality-Aware Debloating @inproceedings{xin2020subdomain, title={Subdomain-based generality-aware debloating}, author={Xin, Qi and Kim, Myeongsoo and Zhang, Qirun and Orso, Alessandro}, booktitle={Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering}, pages..
Read more基于程序不变量计算软件可靠性
基于程序不变量计算软件可靠性 引用：周远, 丁佐华. 基于程序不变量计算软件可靠性[J]. 软件学报, 2015, 26(12): 3075-3087. 0 介绍 软件可靠性的计算依赖于可靠性模型的选取以及所获得的软件失效数据 失效数据的获取对可靠性及模型有非常大的影响[20]，因此我们必须考虑是小数据的质量和收集失效数据的方案 目前应用最广泛的针对各个开发阶段失效数据收集的方法是软件测试技术，软件测试包括 3 个要素:选择输入域、执行测试用例和比较输出[22].学者们提出了多种测试方法来获得软件失效数据[23],然而这些方法都是通过比较实际输出结果与期望输出结果得到诸如失效次数、失效用例等的失效数据,而忽略了软件的实时行为和内部结构,从而导致这些数据并不能真实反映软件的真实行为,如: 存在假性..
Read more不变量与程序修复相关论文
Ⅰ 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