长垣产业园区科技文献服务平台

期刊


ISSN1049-331X
刊名ACM Transactions on Software Engineering and Methodology
参考译名美国计算机学会软件工程与方法论汇刊
收藏年代2000～2022



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022

2022, vol.31, no.1 2022, vol.31, no.2 2022, vol.31, no.3 2022, vol.31, no.4

题名作者出版年年卷期
Verification WitnessesBeyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Lemberger, Thomas; Tautschnig, Michael20222022, vol.31, no.4
Guaranteeing Timed Opacity using Parametric Timed Model CheckingAndre, Etienne; Lime, Didier; Marinho, Dylan; Sun, Jun20222022, vol.31, no.4
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning EnhancementHu, Qiang; Guo, Yuejun; Cordy, Maxime; Xie, Xiaofei; Ma, Lei; Papadakis, Mike; Le Traon, Yves20222022, vol.31, no.4
Adversarial Robustness of Deep Code Comment GenerationShen, Juanjuan; Han, Tingting; Chen, Taolue; Gall, Harald; Zhou, Yu; Zhang, Xiaoqing20222022, vol.31, no.4
A Common Terminology for Software Risk ManagementMasso, Jhon; Garcia, Felix; Pardo, Cesar; Pino, Francisco J.; Piattini, Mario20222022, vol.31, no.4
How Do Successful and Failed Projects Differ? A Socio-Technical AnalysisJoblin, Mitchell; Apel, Sven20222022, vol.31, no.4
Predicting Patch Correctness Based on the Similarity of Failing Test CasesTian, Haoye; Li, Yinghua; Pian, Weiguo; Kabore, Abdoul Kader; Liu, Kui; Habib, Andrew; Klein, Jacques; Bissyande, Tegawende F.20222022, vol.31, no.4
Predictive Mutation Analysis via the Natural Language Channel in Source CodeKim, Jinhan; Jeon, Juyoung; Hong, Shin; Yoo, Shin20222022, vol.31, no.4
Super-optimization of Smart ContractsAlbert, Elvira; Gordillo, Pablo; Hernandez-Cerezo, Alejandro; Rubio, Albert; Schett, Maria A.20222022, vol.31, no.4
BiRD: Race Detection in Software Binaries under Relaxed Memory ModelsJain, Ridhi; Purandare, Rahul; Sharma, Subodh20222022, vol.31, no.4
123456789



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024