![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
31st SANER 2024: Rovaniemi, Finland - Companion
- IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024 - Companion, Rovaniemi, Finland, March 12, 2024. IEEE 2024, ISBN 979-8-3503-5157-6
- Bogdan Iudean:
Experience Report on Teaching Parallel and Distributed Programming Through Storytelling. 1-9 - Adriana Coroiu, Alina Delia Calin, Radu Dan Gaceanu, Andreea Vescan:
Advancements, Challenges, and Emerging Trends in Computer Science Education: A Systematic Literature Review of Academic and Professional Learning: Editorial. 1-12 - Giuseppe Antonio Pierro, Andy Amoordon:
Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (PoS) Focus. 1-8 - Guangjie Li, Yi Tang, Biyi Yi, Yan He, Junchao Li, Fei Ren, Zhongwu Lin, Leping Li:
Statement Types and Error Rates: How are they Related for Boosting Fault Localization? 1-8 - Roberto Tonelli, Andrea Bracciali, Henrique Rocha:
Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management. 1-5 - Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Barbara Re, Luca Ruschioni:
A Digital Twin Approach for Blockchain Smart Contracts. 1-11 - Mubashar Iqbal, Alessandro Chiarelli, Raimundas Matulevicius:
Bridging Two Worlds: Framework for Secure Implementation of Blockchain Oracles. 12-22 - Mojtaba Eshghie, Mikael Jafari, Cyrille Artho:
From Creation to Exploitation: The Oracle Lifecycle. 23-34 - Sourena Khanzadeh, Manar H. Alalfi:
SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts. 35-45 - Lodovica Marchesi, Maria Ilaria Lunesu, Michele Marchesi:
Simulating an Agri-Food DApp System. 54-63 - Maria Ilaria Lunesu, Andrea Pinna, Riccardo Lai, Xiaofeng Wang:
Blockchain-Based Verifiable Credentials for Virtual Teams Management in the Metaverse. 64-67 - Matteo Vaccargiu, Giacomo Ibba, Andrea Pinna:
Topics Analysis and Trends on Blockchain Applications in the Energy Sector. 68-71 - Giacomo Ibba, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu, Sabrina Aufiero, Silvia Bartolucci:
DAI: A Dependencies Analyzer and Installer for Solidity Smart Contracts. 72-75 - Eliza Maria Olariu, Horia Hedesiu:
Experience Report on Teaching Distributed Testing Bench for Cloud-Based Applications. 76-83 - Anca Ioana Muscalagiu, Stefan-Octavian Custura, Bogdan-Mihai Ioan:
Developing Interns into Full-Fledged Software Engineers. 84-92 - Nikolaos Nikolaidis, Karolos Flamos, Khanak Gulati, Daniel Feitosa, Apostolos Ampatzoglou, Alexander Chatzigeorgiou:
A Comparison of the Effectiveness of ChatGPT and Co-Pilot for Generating Quality Python Code Solutions. 93-101 - Feiyang Tang, Bjarte M. Østvold:
Finding Privacy-Relevant Source Code. 111-118 - Zachary Wadhams, Ann Marie Reinhold, Clemente Izurieta:
Automating Static Code Analysis Through CI/CD Pipeline Integration. 119-125 - Anastasia Terzi, Stamatia Bibi:
Managing Security Vulnerabilities Introduced by Dependencies in React.JS JavaScript Framework. 126-133 - Eric O'Donoghue, Ann Marie Reinhold, Clemente Izurieta:
Assessing Security Risks of Software Supply Chains Using Software Bill of Materials. 134-140 - Bernd Gruner, Sebastian Thomas Heckner, Tim Sonnekalb, Badr-Eddine Bouhlal, Clemens-Alexander Brust:
Finding a Needle in a Haystack: Threat Analysis in Open-Source Projects. 141-145 - Arianne Meijer-van de Griend:
The Quantum Circuit Model is not a Practical Representation of Quantum Software. 146-148 - Giuseppe Bisicchia, José García-Alonso, Juan Manuel Murillo, Antonio Brogi:
From Quantum Software Handcrafting to Quantum Software Engineering. 149-150 - Javier Zayas Gallardo, Enrique Moguel, Carlos Canal, José García-Alonso:
Quirk+: A Tool for Quantum Software Development Based on Quirk. 151-158 - Álvaro M. Aparicio-Morales, Majid Haghparast, Niko Mäkitalo, José García-Alonso, Javier Berrocal, Vlad Stirbu, Tommi Mikkonen, Juan Manuel Murillo:
Liquifying Quantum-Classical Software-Intensive System of Systems. 159-166 - Keita Morisaki, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto:
Test Case Generation for Python Libraries Using Dependent Projects' Test-Suites. 167-174 - Radu Dan Gaceanu, Arnold Szederjesi-Dragomir, Andreea Vescan:
Leveraging Rough Sets for Enhanced Test Case Prioritization in a Continuous Integration Context. 175-182 - Andrea Walchshofer, Stefan Fischer, Albrecht Wöß, Alejandra Duque-Torres, Markus Löberbauer, Georg Koll:
Introducing a Linter in an Industrial Lua Code Base. 191-198 - Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans:
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. 199-206 - Dongjie Wang, Jinfu Chen, Saihua Cai, Qiaowei Feng, Yuhao Chen, Xinyi Hu:
SCVD-SA: A Smart Contract Vulnerability Detection Method Based on Hybrid Deep Learning Model and Self-attention Mechanism. 207-214 - Sien Nuyens, Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer:
MUT4SLX: Extensions for Mutation Testing of Stateflow Models. 215-218 - Alejandra Duque-Torres, Dietmar Pfahl, Claus Klammer, Stefan Fischer:
MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations. 219-222 - Nimantha Kariyakarawana, Tom Holvoet:
Logging - the Missing Component for GCC Plugin Testing. 223-226
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.