不变量代表功能能力相关论文阅读
[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 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_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_1.png)
Software Debloating 论文阅读 (4) RAZOR
@inproceedings{qian2019razor, title={$\{$RAZOR$\}$: A framework for post-deployment software debloating}, author={Qian, Chenxiong and Hu, Hong and Alharthi, Mansour and Chung, Pak Ho and Kim, Taesoo and Lee, Wenke}, booktitle={28th USENIX security symposium (USENIX Security 19)}, pages={1733--1750&#..
Read more_1.png)
Software Debloating 论文阅读 (3) Chisel
@inproceedings{heo2018effective, title={Effective program debloating via reinforcement learning}, author={Heo, Kihong and Lee, Woosuk and Pashakhanloo, Pardis and Naik, Mayur}, booktitle={Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security}, pages={380--394}, year=..
Read more_2_1.png)
Software Debloating 论文阅读 (2) SOK1.0
@inproceedings{ali2023sok, title={SoK: A Tale of Reduction, Security, and Correctness-Evaluating Program Debloating Paradigms and Their Compositions}, author={Ali, Muaz and Muzammil, Muhammad and Karim, Faraz and Naeem, Ayesha and Haroon, Rukhshan and Haris, Muhammad and Nadeem, Huzaifah and Sabir, Waseem and Shaon, Fahad and Zaffar..
Read more_1_1.png)
Software Debloating 论文阅读 (1) CovA&CovF
@inproceedings{xin2022studying, title={Studying and understanding the tradeoffs between generality and reduction in software debloating}, author={Xin, Qi and Zhang, Qirun and Orso, Alessandro}, booktitle={Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering}, pages={1--1..
Read more