会员服务
软件工程 (Software Engineering) 是一门研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。
Evaluating and Enhancing Segmentation Model Robustness with Metamorphic Testing
Arxiv
0+阅读 · 4月3日
Enhancing LLMs in Long Code Translation through Instrumentation and Program State Alignment
Arxiv
0+阅读 · 4月2日
Detecting and removing bloated dependencies in CommonJS packages
Arxiv
0+阅读 · 4月3日
ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback
Arxiv
0+阅读 · 4月3日
The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
Arxiv
0+阅读 · 4月3日
Exploring Individual Factors in the Adoption of LLMs for Specific Software Engineering Tasks
Arxiv
0+阅读 · 4月3日
CodeUpdateArena: Benchmarking Knowledge Editing on API Updates
Arxiv
0+阅读 · 4月3日
Example-Free Learning of Regular Languages with Prefix Queries
Arxiv
0+阅读 · 4月2日
C*: Unifying Programming and Verification in C
Arxiv
0+阅读 · 4月3日
EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
Arxiv
0+阅读 · 4月3日
Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
Arxiv
0+阅读 · 4月3日
Are Users More Willing to Use Formally Verified Password Managers?
Arxiv
0+阅读 · 4月2日
RBR4DNN: Requirements-based Testing of Neural Networks
Arxiv
0+阅读 · 4月3日
On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software
Arxiv
0+阅读 · 4月2日
The Potential of Citizen Platforms for Requirements Engineering of Large Socio-Technical Software Systems
Arxiv
0+阅读 · 4月3日
参考链接
父主题
编程
计算机科学
子主题
IST
Web 开发
TOPLAS
ICSSP
ISSRE
RE
CAiSE
ICSOC
OSDI
TOSEM
STTT
RE
HotOS
TSE
PEPM
SPIN
软件配置管理
UML
FM
SQJ
SCAM
SAS
FSE/ESEC
ECOOP
ESEM
SOCA
QRS
ATVA
软件开发
ICST
ESE
ICSME
ICSE
ICWE
SANER
TASE
OOPSLA
COMPSAC
软件调试
LOPSTR
EASE
SCP
ISSTA
STVR
ICPC
SCC
Bug
PLDI
SPE
REFSQ
TPLP
ISPASS
ICWS
设计模式
ICFP
MSR
SOSP
ASE
SoSyM
ETAPS
TOOLS
TSC
IJSEKE
APSEC
VMCAI
ICFEM
SEKE
JSS
JWE
APLAS
ASE
POPL
软件工程师
Engineering
Middleware
JFP
LCTES
JLAP
MoDELS
Journal of Software: Evolution and Process
CP
ICECCS
ICSR
软件架构师
微信扫码咨询专知VIP会员
Top