位置：成果数据库 > 会议 > 会议详情页
Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution
  • 所属机构名称：北京大学
  • 会议名称：Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 201
  • 时间：2013.11.11
  • 成果类型：会议
  • 相关项目：基于人机协作的软件测试与调试
作者： Xusheng Xiao|Sihan Li|Tao Xie|Nikolai Tillmann|
同会议论文项目
基于人机协作的软件测试与调试
期刊论文 3 会议论文 17
同项目会议论文
Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes and Code Digger
An Empirical Study on the Scalability of Selective Mutation Testing
Injecting Mechanical Faults to Localize Developer Faults for Evolving Software
Exposing Behavioral Differences in Cross-Language API Mapping Relations
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
Educational Programming Systems for Learning at Scale
A Comprehensive Field Study of End-User Programming on Mobile Devices
Is This a Bug or an Obsolete Test?
Search-Based Inference of Polynomial Metamorphic Relations
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation
Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies
Joint voting prediction for questions and answers in CQA
Constructing Coding Duels in Pex4Fun and Code Hunt
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis