default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 246

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 246, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/scp/StradowskiM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/StradowskiM25
Szymon Stradowski, Lech Madeyski:
"Your AI is impressive, but my code does not have any bugs" managing false positives in industrial contexts. 103320
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangALLXWHH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangALLXWHH25
Man Zhang, Andrea Arcuri, Yonggang Li, Yang Liu, Kaiming Xue, Zhao Wang, Jian Huo, Weiwei Huang:
Fuzzing microservices: A series of user studies in industry on industrial systems with EvoMaster. 103322
- view
  authority control:
- export record
  dblp key:
  - journals/scp/RossbachL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RossbachL25
Jan Roßbach, Michael Leuschel:
Certified control for train sign classification. 103323
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AburakhiaA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AburakhiaA25
Abdalrahman Aburakhia, Mohammad R. Alshayeb:
Toward a prioritization approach for third-party software library updates. 103331
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LeeYB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LeeYB25
Jia Lee, Geunyeol Yu, Kyungmin Bae:
SMT-based robust model checking for signal temporal logic. 103332
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AracenaLSSG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AracenaLSSG25
Gabriel Aracena, Kyle Luster, Fabio Santos, Igor Steinmacher, Marco Aurélio Gerosa:
Applying large language models to issue classification: Revisiting with extended data and new models. 103333
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Belghiat25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Belghiat25
Aissam Belghiat:
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra. 103334
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LiSGBMKC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiSGBMKC25
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro:
ESBMC v7.6: Enhanced model checking of C++ programs with clang AST. 103336
- view
  authority control:
- export record
  dblp key:
  - journals/scp/UrbanSD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/UrbanSD25
Caterina Urban, Pavle Subotic, Filip Drobnjakovic:
Static analysis by abstract interpretation against data leakage in machine learning. 103338

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.