logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
S

Science of Computer Programming

IF1.4
Papers50
Citations1644
Journal Papers 50
Publication Date
delete
Stream-based monitoring with RTLOLA
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteBaumeister, Jan; Finkbeiner, Bernd; Kohn, Florian; Scheerer, Frederik
deleteShare
deleteSave
They want to quit! Why IT professionals leave: A systematic literature review on turnover intention
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteSilva, Wagner Vidal Xavier; Sampaio, Suzana; Marinho, Marcelo Luiz Monteiro
deleteShare
deleteSave
PyBDR: Design and usage of a toolkit for set-boundary based reachability analysis
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteWu, Taoran; Ding, Jianqiang; Liang, Zhen; Deka, Shankar A.; Xue, Bai
deleteShare
deleteSave
CauMon: A tool for online monitoring against signal temporal logic
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteZhang, Zhenya; An, Jie; Arcaini, Paolo; Hasuo, Ichiro
deleteShare
deleteSave
AutoArk: A model-based approach for ArkTS application code generation
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteYang, Yilong; Zhang, Runkun; Zhu, Yong; Ye, Maosen; Tang, Mingyu; Wang, Xiaoyan; Wang, Weiru
deleteShare
deleteSave
Accelerated bounded model checking with LoAT
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
PREAI
deleteFrohn, Florian; Giesl, Jurgen
deleteShare
deleteSave
GIFTbench: Generative image fuzz testing benchmark
deleteScience of Computer Programming
IF1.4
delete2026-08-01
delete0
deleteOAAI
deleteMaryam, Maryam; Biagiola, Matteo; Stocco, Andrea; Riccio, Vincenzo
deleteShare
deleteSave
Special Issue on the 18th International symposium on theoretical aspects of software engineering
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteChin, Wei-Ngan; Xu, Zhiwu
deleteShare
deleteSave
Selected papers from the 26th Brazilian symposium on formal methods - SBMF 2023 Preface
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteBarbosa, Haniel; Zohar, Yoni
deleteShare
deleteSave
Preface for "special issue on advances in software aspects of cyber-physical systems"
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteKhonsari, Ahmad; Kargahi, Mehdi; Zarandi, Hamid; Dolati, Mahdi
deleteShare
deleteSave
Preface for NLBSE'24: Natural language-based software to support software engineering processes
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteAl-Kaswan, Ali; Kallis, Rafael; Colavito, Giuseppe; Sgueglia, Arnaldo
deleteShare
deleteSave
Preface for the special issue on selected software artifacts from DisCoTec 2024-The 19th international federated conference on distributed computing techniques
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteCasadei, Roberto; Attard, Duncan Paul; D'Osualdo, Emanuele; Neykova, Rumyana
deleteShare
deleteSave
ICCheck: A portable, language-Agnostic tool for synchronizing code clones
deleteScience of Computer Programming
IF1.4
delete2026-07-01
delete0
PREAI
deleteAbe, Motoki; Hayashi, Shinpei
deleteShare
deleteSave
A survey on web testing: On the rise of AI and applications in industry
deleteScience of Computer Programming
IF1.4
delete2026-04-01
delete0
PREAI
deleteKertusha, Iva; Assres, Gebremariam; Duman, Onur; Arcuri, Andrea
deleteShare
deleteSave
Using real-world scenarios to bridge training and practice in evidence-based software engineering: An extended evaluation
deleteScience of Computer Programming
IF1.4
delete2026-03-01
delete0
PREAI
deletePizard, Sebastian; Marenco, Leticia
deleteShare
deleteSave
Beyond Balance-Addressing class imbalance in fine-tuning deep learners
deleteScience of Computer Programming
IF1.4
delete2026-03-01
delete0
PREAI
deleteMock, Moritz; Borsani, Thomas; Di Fatta, Giuseppe; Russo, Barbara
deleteShare
deleteSave
How to run it? Automated setup steps generation for JavaWeb application
deleteScience of Computer Programming
IF1.4
delete2026-02-01
delete0
PREAI
deleteZhang, Hongfan; Wang, Tengmei; Lu, Hengwei; Wang, Yihui; Yu, Jinyan; Liu, Huaxiao
deleteShare
deleteSave
Multi-objective optimization of cloud systems
deleteScience of Computer Programming
IF1.4
delete2026-02-01
delete0
deleteOAAI
deletePerez, Miguel; Canizares, Pablo C.; Nunez, Alberto
deleteShare
deleteSave
An agent-Based model reflective architecture for social network sites
deleteScience of Computer Programming
IF1.4
delete2026-02-01
delete0
PREAI
deleteLeger, Paul; San Martin, Daniel; Nunez, Diego; Velez, Tomas
deleteShare
deleteSave
Introducing a novel technique for call graph visualization and design pattern detection through runtime data profiling and dynamic warping
deleteScience of Computer Programming
IF1.4
delete2026-01-01
delete0
PREAI
deleteHouichime, Tarik; el Amrani, Younes
deleteShare
deleteSave