default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 239

> 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 239, 2025

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GazdaH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GazdaH25
Maciej Gazda, Robert M. Hierons:
Model independent refusal trace testing. 103173
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlblwiMKALM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlblwiMKALM25
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili:
Subsumption, correctness and relative correctness: Implications for software testing. 103177
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Defourne25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Defourne25
Rosalie Defourné:
Encoding TLA+ proof obligations safely for SMT. 103178
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Platzer25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Platzer25
André Platzer:
Hybrid dynamical systems logic and its refinements. 103179
- view
  authority control:
- export record
  dblp key:
  - journals/scp/PereiraS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PereiraS25
Pedro Pereira, António Rito Silva:
Microservices simulator: An object-oriented framework for transactional causal consistency. 103181
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AguzziV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AguzziV25
Gianluca Aguzzi, Mirko Viroli:
MacroSwarm: A scala framework for swarm programming. 103182
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GambiP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GambiP25
Alessio Gambi, Sebastiano Panichella:
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools. 103180
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DongWZLL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DongWZLL25
Yukun Dong, Shuqi Wang, Lulu Zhang, Xiaoshan Liu, Shuai Liu:
Automatic detection of infeasible paths in large-scale program based on program summaries. 103183
- view
  authority control:
- export record
  dblp key:
  - journals/scp/PaulMPV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PaulMPV25
Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela:
Formal verification of timely knowledge propagation in airborne networks. 103184
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SamanipourBR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SamanipourBR25
Ali Samanipour, Omid Bushehrian, Gregorio Robles:
MDAPW3: MDA-based development of blockchain-enabled decentralized applications. 103185
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ShwetaSG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ShwetaSG25
Shweta, Ratna Sanyal, Bibhas Ghoshal:
A hybrid approach to extract conceptual diagram from software requirements. 103186

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.