Search dblp for Publications

export results for "toc:db/journals/scp/scp238.bht:"

 download as .bib file

@article{DBLP:journals/scp/ArcainiC24,
  author       = {Paolo Arcaini and
                  Ahmet Cetinkaya},
  title        = {{CRAG} - a combinatorial testing-based generator of road geometries
                  for {ADS} testing},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103171},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103171},
  doi          = {10.1016/J.SCICO.2024.103171},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ArcainiC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartlettLP24,
  author       = {Antony Bartlett and
                  Cynthia C. S. Liem and
                  Annibale Panichella},
  title        = {Multi-objective differential evolution in the generation of adversarial
                  examples},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103169},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103169},
  doi          = {10.1016/J.SCICO.2024.103169},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BartlettLP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BelenchiaCQL24,
  author       = {Matteo Belenchia and
                  Flavio Corradini and
                  Michela Quadrini and
                  Michele Loreti},
  title        = {libmg: {A} Python library for programming graph neural networks in
                  {\(\mu\)}G},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103165},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103165},
  doi          = {10.1016/J.SCICO.2024.103165},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BelenchiaCQL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChenYCWWC24,
  author       = {Jinfu Chen and
                  Yemin Yin and
                  Saihua Cai and
                  Weijia Wang and
                  Shengran Wang and
                  Jiming Chen},
  title        = {iGnnVD: {A} novel software vulnerability detection model based on
                  integrated graph neural networks},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103156},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103156},
  doi          = {10.1016/J.SCICO.2024.103156},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChenYCWWC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ConceicaoAOP24,
  author       = {Eduardo Louren{\c{c}}o da Concei{\c{c}}{\~{a}}o and
                  Ana Nunes Alonso and
                  Rui Carlos Oliveira and
                  Jos{\'{e}} Pereira},
  title        = {{TADA:} {A} Toolkit for Approximate Distributed Agreement},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103175},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103175},
  doi          = {10.1016/J.SCICO.2024.103175},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ConceicaoAOP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CostaLP24,
  author       = {Pedro {\'{A}}kos Costa and
                  Jo{\~{a}}o Leit{\~{a}}o and
                  Yiannis Psaras},
  title        = {{IPFS} requested content location service},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103174},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103174},
  doi          = {10.1016/J.SCICO.2024.103174},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CostaLP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CuiJCWL24,
  author       = {Zhanqi Cui and
                  Haochen Jin and
                  Xiang Chen and
                  Rongcun Wang and
                  Xiulei Liu},
  title        = {DPFuzz: {A} fuzz testing tool based on the guidance of defect prediction},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103170},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103170},
  doi          = {10.1016/J.SCICO.2024.103170},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CuiJCWL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DominiCAV24,
  author       = {Davide Domini and
                  Filippo Cavallari and
                  Gianluca Aguzzi and
                  Mirko Viroli},
  title        = {ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent
                  reinforcement learning},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103176},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103176},
  doi          = {10.1016/J.SCICO.2024.103176},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/DominiCAV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HaltermannJRW24,
  author       = {Jan Haltermann and
                  Marie{-}Christine Jakobs and
                  Cedric Richter and
                  Heike Wehrheim},
  title        = {Parallel program analysis on path ranges},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103154},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103154},
  doi          = {10.1016/J.SCICO.2024.103154},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HaltermannJRW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HanusI24,
  author       = {Michael Hanus and
                  Atsushi Igarashi},
  title        = {Functional and logic programming: Selected papers of {FLOPS} 2022},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103129},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103129},
  doi          = {10.1016/J.SCICO.2024.103129},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HanusI24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LauwaertsMS24,
  author       = {Tom Lauwaerts and
                  Stefan Marr and
                  Christophe Scholliers},
  title        = {Latch: Enabling large-scale automated testing on constrained systems},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103157},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103157},
  doi          = {10.1016/J.SCICO.2024.103157},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LauwaertsMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LimaM24,
  author       = {Lucas Lima and
                  Vince Moln{\'{a}}r},
  title        = {Selected papers from the 25th Brazilian Symposium on Formal Methods
                  - {SBMF} 2022},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103133},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103133},
  doi          = {10.1016/J.SCICO.2024.103133},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LimaM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiuLGZYLLLCZ24,
  author       = {Xutong Liu and
                  Shiran Liu and
                  Zhaoqiang Guo and
                  Peng Zhang and
                  Yibiao Yang and
                  Huihui Liu and
                  Hongmin Lu and
                  Yanhui Li and
                  Lin Chen and
                  Yuming Zhou},
  title        = {Towards a framework for reliable performance evaluation in defect
                  prediction},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103164},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103164},
  doi          = {10.1016/J.SCICO.2024.103164},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LiuLGZYLLLCZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OseiMH24,
  author       = {Samuel Banning Osei and
                  Zhongchen Ma and
                  Rubing Huang},
  title        = {Smart contract vulnerability detection using wide and deep neural
                  network},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103172},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103172},
  doi          = {10.1016/J.SCICO.2024.103172},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/OseiMH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PolitanoBMAFP24,
  author       = {Mariano Politano and
                  Valeria S. Bengolea and
                  Facundo Molina and
                  Nazareno Aguirre and
                  Marcelo F. Frias and
                  Pablo Ponzio},
  title        = {{BEAPI:} {A} tool for bounded exhaustive input generation from APIs},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103153},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103153},
  doi          = {10.1016/J.SCICO.2024.103153},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/PolitanoBMAFP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ProkicLSK24,
  author       = {Simona Prokic and
                  Nikola Luburic and
                  Jelena Slivka and
                  Aleksandar Kovacevic},
  title        = {Prescriptive procedure for manual code smell annotation},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103168},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103168},
  doi          = {10.1016/J.SCICO.2024.103168},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ProkicLSK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WangZLL24,
  author       = {Ying Wang and
                  Tao Zhang and
                  Xiapu Luo and
                  Peng Liang},
  title        = {Special Issue on Selected Tools from the Tool Track of the 30th {IEEE}
                  International Conference on Software Analysis, Evolution and Reengineering
                  {(SANER} 2023 Tool Track)},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103167},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103167},
  doi          = {10.1016/J.SCICO.2024.103167},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/WangZLL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangCCZSC24,
  author       = {Chi Zhang and
                  Jinfu Chen and
                  Saihua Cai and
                  Wen Zhang and
                  Rexford Nii Ayitey Sosu and
                  Haibo Chen},
  title        = {TR-Fuzz: {A} syntax valid tool for fuzzing {C} compilers},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103155},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103155},
  doi          = {10.1016/J.SCICO.2024.103155},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangCCZSC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZongZZYG24,
  author       = {Xing Zong and
                  Shang Zheng and
                  Haitao Zou and
                  Hualong Yu and
                  Shang Gao},
  title        = {GraphPyRec: {A} novel graph-based approach for fine-grained Python
                  code recommendation},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103166},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103166},
  doi          = {10.1016/J.SCICO.2024.103166},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ZongZZYG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}