期刊


ISSN0167-6423
刊名Science of Computer Programming
参考译名计算机程序设计科学
收藏年代2002~2024



全部

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

2023, vol.225 2023, vol.226 2023, vol.227 2023, vol.228 2023, vol.229 2023, vol.230

题名作者出版年年卷期
An effective software cross-project fault prediction model for quality improvementKhatri, Yogita; Singh, Sandeep Kumar20232023, vol.226
Qualification of proof assistants, checkers, and generators: Where are we and what next?Gleirscher, Mario; Sachtleben, Robert; Peleska, Jan20232023, vol.226
BURST: Benchmarking uniform random sampling techniquesAcher, Mathieu; Perrouin, Gilles; Cordy, Maxime20232023, vol.226
Deductive verification of active objects with CrowbarKamburjan, Eduard; Scaletta, Marco; Rollshausen, Nils20232023, vol.226
Examining the performance of kernel methods for software defect prediction based on support vector machineAzzeh, Mohammad; Elsheikh, Yousef; Nassif, Ali Bou; Angelis, Lefteris20232023, vol.226
Measurement of key performance indicators of user experience based on software requirementsAtoum, Issa20232023, vol.226
A lightweight API recommendation method for App development based on multi-objective evolutionary algorithmLi, Xun; Liu, Lei; Liu, Yuzhou; Liu, Huaxiao20232023, vol.226
CLG-Trans: Contrastive learning for code summarization via graph attention-based transformerZeng, Jianwei; He, Yutong; Zhang, Tao; Xu, Zhou; Han, Qiang20232023, vol.226
Cost-effective simulation-based test selection in self-driving cars softwareBirchler, Christian; Ganz, Nicolas; Khatiri, Sajad; Gambi, Alessio; Panichella, Sebastiano20232023, vol.226