| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A method to identify overfitting program repair patches based on expression tree
|
Dong, Yukun
|
|
|
235 |
C |
p.
|
article
|
| 2 |
A model-checker exploiting structural reductions even with stutter sensitive LTL Image 1
|
Thierry-Mieg, Yann
|
|
|
235 |
C |
p.
|
article
|
| 3 |
Diagnosis of package installation incompatibility via knowledge base
|
Cao, Yulu
|
|
|
235 |
C |
p.
|
article
|
| 4 |
Editorial Board
|
|
|
|
235 |
C |
p.
|
article
|
| 5 |
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology
|
Becker, Pablo
|
|
|
235 |
C |
p.
|
article
|
| 6 |
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems
|
Kang, Byeongjee
|
|
|
235 |
C |
p.
|
article
|
| 7 |
Neighborhood contrastive learning-based graph neural network for bug triaging
|
Dong, Haozhen
|
|
|
235 |
C |
p.
|
article
|
| 8 |
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022
|
Damiani, Ferruccio
|
|
|
235 |
C |
p.
|
article
|
| 9 |
Sibilla: A tool for reasoning about collective systems Image 1
|
Del Giudice, Nicola
|
|
|
235 |
C |
p.
|
article
|
| 10 |
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools
|
Kuhail, Mohammad Amin
|
|
|
235 |
C |
p.
|
article
|
Journal description