- Haozhen Dong
, Hongmin Ren, Jialiang Shi
, Yichen Xie, Xudong Hu:
Neighborhood contrastive learning-based graph neural network for bug triaging. Sci. Comput. Program. 235: 103093 (2024) - Stefan W. Driessen
, Dario Di Nucci
, Damian A. Tamburri, Willem-Jan van den Heuvel:
SolAR: Automated test-suite generation for solidity smart contracts. Sci. Comput. Program. 232: 103036 (2024) - Herbert Rausch Fernandes
, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos:
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235. Sci. Comput. Program. 232: 103028 (2024) - Arnaud Gazda, Océane Koska:
A pragma based C++ framework for hybrid quantum/classical computation. Sci. Comput. Program. 236: 103119 (2024) - Joan Giner-Miguelez
, Abel Gómez, Jordi Cabot:
DescribeML: A dataset description tool for machine learning. Sci. Comput. Program. 231: 103030 (2024) - Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
:
Sibilla: A tool for reasoning about collective systems. Sci. Comput. Program. 235: 103095 (2024) - Sean Kristian Remond Harbo, Emil Palmelund Voldby, Jonas Madsen, Michele Albano
:
ACSmt: A plugin for eclipse papyrus to model systems of systems. Sci. Comput. Program. 231: 103008 (2024) - Weijiang Hong
, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234: 103075 (2024) - Wen-ling Huang, Niklas Krafczyk, Jan Peleska
:
Exhaustive property oriented model-based testing with symbolic finite state machines. Sci. Comput. Program. 231: 103005 (2024) - Antonio Iannopollo
, Inigo Incer
, Alberto L. Sangiovanni-Vincentelli:
Synthesizing LTL contracts from component libraries using rich counterexamples. Sci. Comput. Program. 236: 103116 (2024) - Karam Ignaim
, João M. Fernandes, André L. Ferreira:
An industrial experience of using reference architectures for mapping features to code. Sci. Comput. Program. 234: 103087 (2024) - Muhammad Iqbal, Muhammad Ijaz, Tehseen Mazhar, Tariq Shahzad, Qamar Abbas, Yazeedyasin Ghadi, Wasim Ahmad, Habib Hamam:
Exploring issues of story-based effort estimation in Agile Software Development (ASD). Sci. Comput. Program. 236: 103114 (2024) - Shivani Jain
, Anju Saha:
Improving and comparing performance of machine learning classifiers optimized by swarm intelligent algorithms for code smell detection. Sci. Comput. Program. 237: 103140 (2024) - Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer:
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. 232: 103055 (2024) - Phillip James, Faron Moller, Filippos Pantekis:
OnTrack: Reflecting on domain specific formal methods for railway designs. Sci. Comput. Program. 233: 103057 (2024) - Joabe Jesus
, Augusto Sampaio:
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. Sci. Comput. Program. 236: 103113 (2024) - Wangjie Ji, Lili Bo, Yanchi Yuan, Xiaobing Sun:
TDFix: A lightweight tool for fixing deadlocks based on templates. Sci. Comput. Program. 233: 103073 (2024) - Stephannie Jimenez, Gordana Rakic, Silvia Takahashi, Nicolás Cardozo
:
Out of step: Code clone detection for mobile apps across different language codebases. Sci. Comput. Program. 236: 103112 (2024) - Frédéric Jouault
, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov:
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232: 103050 (2024) - Ezequiel Kahan
, Marcela Genero, Alejandro Oliveros:
Refining a design thinking-based requirements elicitation process: Insights from a focus group. Sci. Comput. Program. 237: 103137 (2024) - Thisaranie Kaluarachchi
, Manjusri Wickramasinghe:
WebDraw: A machine learning-driven tool for automatic website prototyping. Sci. Comput. Program. 233: 103056 (2024) - Byeongjee Kang, Kyungmin Bae:
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Sci. Comput. Program. 235: 103097 (2024) - Sean Kauffman
, Martin Zimmermann
:
The complexity of evaluating nfer. Sci. Comput. Program. 231: 103012 (2024) - Oleg Kiselyov:
Generating C: Heterogeneous metaprogramming system description. Sci. Comput. Program. 231: 103015 (2024) - Jacco O. G. Krijnen
, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra:
Translation certification for smart contracts. Sci. Comput. Program. 233: 103051 (2024) - Mohammad Amin Kuhail, Sujith Samuel Mathew, Ashraf Khalil, Jose Berengueres, Syed Jawad Hussain Shah:
"Will I be replaced?" Assessing ChatGPT's effect on software development and programmer perceptions of AI tools. Sci. Comput. Program. 235: 103111 (2024) - Ivan Kurtev, Jozef Hooman, Mathijs Schuts, Daan van der Munnik:
Model based component development and analysis with ComMA. Sci. Comput. Program. 233: 103067 (2024) - Zhen Liang
, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236: 103121 (2024) - Shuo Liu
, Jacky Wai Keung, Zhen Yang, Yihan Liao, Yishu Li:
TerGEC: A graph enhanced contrastive approach for program termination analysis. Sci. Comput. Program. 237: 103141 (2024) - Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen:
Enhancing test reuse with GUI events deduplication and adaptive semantic matching. Sci. Comput. Program. 232: 103052 (2024)