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

期刊


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


题名作者出版年年卷期
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
12345678910...



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