Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Statically identifying XSS using deep learning
Maurel, Heloise, Vidal, Santiago, Rezk, Tamara
Published in Science of computer programming (01.07.2022)
Published in Science of computer programming (01.07.2022)
Get full text
Journal Article
Loading…
SolAR: Automated test-suite generation for solidity smart contracts
Driessen, S.W., Di Nucci, D., Tamburri, D.A., van den Heuvel, W.J.
Published in Science of computer programming (01.01.2024)
Published in Science of computer programming (01.01.2024)
Get full text
Journal Article
Loading…
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework
Buschhaus, Constantin, Gerasimov, Arkadii, Kirchhof, Jörg Christian, Michael, Judith, Netz, Lukas, Rumpe, Bernhard, Stüber, Sebastian
Published in Science of computer programming (01.01.2024)
Published in Science of computer programming (01.01.2024)
Get full text
Journal Article
Loading…
Refining a design thinking-based requirements elicitation process: Insights from a focus group
Kahan, Ezequiel, Genero, Marcela, Oliveros, Alejandro
Published in Science of computer programming (01.10.2024)
Published in Science of computer programming (01.10.2024)
Get full text
Journal Article
Loading…
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving
Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, Rømming, Fredrik
Published in Science of computer programming (01.03.2024)
Published in Science of computer programming (01.03.2024)
Get full text
Journal Article
Loading…
Model-based mutation testing—Approach and case studies
Belli, Fevzi, Budnik, Christof J., Hollmann, Axel, Tuglular, Tugkan, Wong, W. Eric
Published in Science of computer programming (01.05.2016)
Published in Science of computer programming (01.05.2016)
Get full text
Journal Article
Loading…
Loading…
Taming shared mutable states of operating systems in Rust
Hong, Jaemin, Shim, Sunghwan, Park, Sanguk, Kim, Tae Woo, Kim, Jungwoo, Lee, Junsoo, Ryu, Sukyoung, Kang, Jeehoon
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation
Zong, Xing, Zheng, Shang, Zou, Haitao, Yu, Hualong, Gao, Shang
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
Parallel program analysis on path ranges
Haltermann, Jan, Jakobs, Marie-Christine, Richter, Cedric, Wehrheim, Heike
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
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)
Wang, Ying, Zhang, Tao, Luo, Xiapu, Liang, Peng
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
DPFuzz: A fuzz testing tool based on the guidance of defect prediction
Cui, Zhanqi, Jin, Haochen, Chen, Xiang, Wang, Rongcun, Liu, Xiulei
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
libmg: A Python library for programming graph neural networks in μG
Belenchia, Matteo, Corradini, Flavio, Quadrini, Michela, Loreti, Michele
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
Prescriptive procedure for manual code smell annotation
Prokić, Simona, Luburić, Nikola, Slivka, Jelena, Kovačević, Aleksandar
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
BEAPI: A tool for bounded exhaustive input generation from APIs
Politano, Mariano, Bengolea, Valeria, Molina, Facundo, Aguirre, Nazareno, Frias, Marcelo, Ponzio, Pablo
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
Multi-objective differential evolution in the generation of adversarial examples
Bartlett, Antony, Liem, Cynthia C.S., Panichella, Annibale
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
TR-Fuzz: A syntax valid tool for fuzzing C compilers
Zhang, Chi, Chen, Jinfu, Cai, Saihua, Zhang, Wen, Sosu, Rexford Nii Ayitey, Chen, Haibo
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks
Chen, Jinfu, Yin, Yemin, Cai, Saihua, Wang, Weijia, Wang, Shengran, Chen, Jiming
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
Loading…
Latch: Enabling large-scale automated testing on constrained systems
Lauwaerts, Tom, Marr, Stefan, Scholliers, Christophe
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article