国际软件工程基础研讨会是一个提出新研究成果的论坛,旨在解决软件系统开发中的挑战。它借鉴了学术,政府和行业研究组织的工作。座谈会开放了广泛的主题和研究方法,但只接受被认为可以清楚地表明重要,相关和正确的结果的论文。程序委员会从170份意见书中选择了研究论文。每篇论文至少由三名计划委员会成员进行了审查,许多人还接受了其他审查。在苏格兰爱丁堡举行了为期两天的委员会会议,会议审议了所有文件;届时,整个委员会都将选择在研讨会上发表的论文。评审人员的评论返回给所有提交论文的作者。 p>
计划主席兼总主席感谢Debra A. Brodbeck所做的广泛的组织和宣传工作,Ginger Ignatoff,Donna Baglio和Erin Dolan对此提供了支持。 ACM,Sheridan Printing的Lisa Tolles安排诉讼程序,Richard van de Stadt负责迅速灵活地管理CyberChair。
University of Massachusetts;
University of Konstanz;
机译:在FLAVORS中进行启发式引导反例搜索
机译:通过两层设计语法进行启发式指导的解决方案搜索
机译:基于模型,突变驱动的测试用例通过启发式指导分支搜索
机译:在口味中启发式引导的反例
机译:数字系统验证,通道编码和电神经界面设计的反例
机译:PNAS Plus:规模演算的反例
机译:在FLAVORS中进行启发式引导反例搜索