International Conference on Automated Software Engineering (ASE)
cegar-pt: A Tool for Abstraction by Program Transformation.
cegar-pt：一种通过程序转换实现抽象的工具。
2023
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.
CPA-DF：一种用于可配置区间分析以提升程序验证的工具。
2023
Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation.
通过检测和预防不必要的内容生成来优化持续开发。
2023
Provengo: A Tool Suite for Scenario Driven Model-Based Testing.
Provengo：一种面向场景的基于模型的测试工具套件。
2023
Modeling Programmer Attention as Scanpath Prediction.
建模程序员注意力为扫描路径预测。
2023
Migrating from Monoliths to Microservices: Enforcing Correct Coordination.
从单体架构迁移到微服务：确保正确的协调。
2023
5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023).
第五届自动化与可验证软件系统开发国际研讨会 (ASYDE 2023)。
2023
Exploring Android Apps Using Motif Actions.
探索使用主题动作的安卓应用程序。
2023
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
SmartBugs 2.0：以太坊智能合约漏洞检测的执行框架。
2023
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++.
BUGSC++：一个高度可用的C/C++真实世界缺陷基准。
2023
会议信息
会议名称：
International Conference on Automated Software Engineering
会议评级
CCF: A
CORE: A*
THCPL: A
年度会议
Year: 2024
Place: Sacramento, California, United States
Date: October 27- November 01, 2024
Timeline:
Abstract Deadline: 2024-05-31T23:59:59-12:00
Deadline: 2024-06-07T23:59:59-12:00
Year: 2023
Place: Kirchberg, Luxembourg
Date: September 11-15, 2023
Timeline:
Abstract Deadline: 2023-04-28T23:59:59-12:00
Deadline: 2023-05-05T23:59:59-12:00
Year: 2022
Place: Ann Arbor, Michigan, United States
Date: September 26- October 01, 2022
Timeline:
Abstract Deadline: N/A
Deadline: 2022-04-29T23:59:59-12:00
Abstract Deadline: N/A
Deadline: 2022-05-06T23:59:59-12:00