10 papers · ranked by Valyu relevance
Haley Hunter-Zinck, Alexandre Fioravante de Siqueira, Váleri N. Vásquez, Richard Barnes + 2 more
'Váleri N. Vásquez' 'Richard Barnes' 'Ciera C. Martinez' 'Scott Markel'] Functional, usable, and maintainable open-source software is increasingly essential to scientific research, but there is a large variation in formal training for software development and maintainability. Here, we propose 10 “rules” centered on 2…
Gopal P. Sarma, Travis W. Jacobs, Mark D. Watts, S. Vahid Ghayoomie + 2 more
'Stephen D. Larson' 'Richard C. Gerkin'] The growth of the software industry has gone hand in hand with the development of tools and cultural practices for ensuring the reliability of complex pieces of software. These tools and practices are now acknowledged to be essential to the management of modern software. As…
Yan Wang, Peng Jia, Luping Liu, Cheng Huang + 2 more
'Tao Song'] Security vulnerabilities play a vital role in network security system. Fuzzing technology is widely used as a vulnerability discovery technology to reduce damage in advance. However, traditional fuzz testing faces many challenges, such as how to mutate input seed files, how to increase code coverage, and…
Matias Martinez, Maria Kechagia, Anjana Perera, Justyna Petke + 2 more
'Federica Sarro' 'Aldeida Aleti'] Previous studies have shown that Automated Program Repair (apr) techniques suffer from the overfitting problem. Overfitting happens when a patch is run and the test suite does not reveal any error, but the patch actually does not fix the underlying bug or it introduces a new defect…
Xiaojian Liu, Yangyang Zhang, Chee Wei Tan, Wenyi Zhang
Code coverage-guided unit test generation (CGTG) and large language model-based test generation (LLMTG) are two principal approaches for the generation of unit tests. Each of these approaches has its inherent advantages and drawbacks. Tests generated by CGTG have been shown to exhibit high code coverage and high…
Authors not listed
Scientific discovery relies on innovative software as much as experimental methods, especially in proteomics, where computational tools are essential for mass spectrometer setup, data analysis, and interpretation. Since the introduction of SEQUEST, proteomics software has grown into a complex ecosystem of algorithms…
Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten + 3 more
'Leonard Peter Binamungu' 'Suzanne M. Embury' 'Nikolaos Konstantinou'] Behaviour Driven Development (BDD) is an agile testing technique that enables software requirements to be specified as example interactions with the system, using structured natural language. While (in theory) being readable by non-technical…
Authors not listed
This work focuses on the impact of lateral interactions on the thermophysical properties of adsorbates. We present different parameterizations for coverage-dependent enthalpy, entropy, and heat capacity in a mean-field microkinetic model. These models are tested against two systems, CO/Pt(111) and CO/Co(0001), using…
Authors not listed
Plastic mechanical recycling is the conventional technological step towards circularity. In such aspects, complex mixtures of polyolefin blends are often fed into mechanical recycling systems, resulting in moulded products with uncertain quality. To add to the difficulty of heterogeneous feedstocks, the testing of…
Sara M Sauer, Thomas Pullum, Wenjuan Wang, Lindsay Mallick + 1 more
Background Effective coverage research is increasing rapidly in global health and development, as researchers use a range of measures and combine data sources to adjust coverage for the quality of services received. However, most estimates of effective coverage that combine data sources are reported only as point…