- 博客(6)
- 资源 (8)
- 收藏
- 关注
RSS订阅原创 【论文笔记】Detecting Logical Bugs of DBMS with Coverage-based Guidance
这篇论文的作者提出了一种新的方法来检测数据库管理系统（DBMS）的逻辑错误。他们结合了基于覆盖率的引导、面向有效性的突变和预言机来检测DBMS系统中的逻辑错误。他们首先设计了一套通用的API，以便开发人员可以轻松地将模糊测试工具移植到DBMS测试中，并为现有的模糊测试工具编写新的预言机。然后，他们提供了面向有效性的突变，以生成高质量的查询语句，以便发现更多的逻辑错误。他们的原型系统SQLRight在性能上超越了那些只依赖预言机或代码覆盖率的现有工具。
2023-10-06 23:11:58
422
2
原创 【推免经验分享】——文书高效处理工具汇总，看这一篇就够了！
保研/推免/面试/复试文书撰写工具集合，包含简历制作、pdf编辑和处理、文件扫描、ai智能写作辅导
2023-03-27 11:45:37
226
原创 2022年 （2023届） 计算机 软件 保研经历 保研经验贴 （菜鸟 211 低rank 无科研成果 复旦/浙大/西安交大/中山/武大/华师大/东南/国科大杭高院）
作为一名边缘人，在排名、竞赛、科研、英语上都很普通，一路走来，有太多的不易和心酸。在保研的过程中，从学长学姐和各类保研经验贴中获取了太多的帮助，自己也会把这份帮助继续传递下去。由于本人走完了从夏令营到预推免的全过程，因此对保研的整个过程感受非常深刻。本篇博客会带来比较多的内容，持续更新，包括但不限于简历文书、套磁等各种前期准备经验、院校面试经验、心态、本科专业选择对保研的影响、自己的心路历程等全方位进行分享。看完会花费比较多的时间，大家可以根据目录按需观看。相信大家看完一定能够有不一样的收获。
2023-01-18 16:32:27
8902
8
原创 优化搜索：A*算法理解
首先清楚以下概念启发式搜索：启发式搜索就是在状态空间中的搜索对每一个搜索的位置进行评估，得到最好的位置，再从这个位置进行搜索直到目标。这样可以省略大量无畏的搜索路径，提到了效率。在启发式搜索中，对位置的估价是十分重要的。采用了不同的估价可以有不同的效果。A*算法A* （A-Star)算法是一种静态路网中求解最短路径最有效的直接搜索方法，也是许多其他问题的常用启发式算法。注意——是最有效的直接搜索算法，之后涌现了很多预处理算法（如ALT，CH，HL等等），在线查询效率是A*算法的数千甚至上万倍。公
2021-01-30 18:03:43
2090
原创 简单搜索训练（1）总结
简单搜索训练（1）总结这次的题目是简单的搜索题，主要是BFS和DFS。其中有新收获的知识点是BFS和DFS的记忆化搜索，以及算法题中树的结构的实现以及floyd算法的原理和实现。通过3个具体题目来记录知识点。P1141 01迷宫（知识点：BFS记忆化搜索）题目描述有一个仅由数字00与11组成的n \times nn×n格迷宫。若你位于一格00上，那么你可以移动到相邻44格中的某一格11上，同样若你位于一格11上，那么你可以移动到相邻44格中的某一格00上。你的任务是：对于给定的迷宫，询问从某一格开
2021-01-26 19:41:10
298
计算机网络复习题--new.pdf
2021-12-26
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人