Searched for: subject%3A%22Algorithms%22
(1 - 14 of 14)
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Panichella, A. (author), Zaidman, A.E. (author), van Deursen, A. (author)
Search-based approaches have been used in the literature to automate the process of creating unit test cases. However, related work has shown that generated tests with high code coverage could be ineffective, i.e., they may not detect all faults or kill all injected mutants. In this paper, we propose Cling, an integration-level test case...
journal article 2023
document
van Meerten, M.C. (author), Kulahcioglu Ozkan, Burcu (author), Panichella, A. (author)
Blockchain systems are prone to concurrency bugs due to the nondeterminism in the delivery order of messages between the distributed nodes. These bugs are hard to detect since they can only be triggered by a specific order or timing of concurrent events in the execution. <br/>Systematic concurrency testing techniques, which explore all possible...
conference paper 2023
document
Applis, L.H. (author), Panichella, A. (author), Marang, R.J. (author)
More machine learning (ML) models are introduced to the field of Software Engineering (SE) and reached a stage of maturity to be considered for real-world use; But the real world is complex, and testing these models lacks often in explainability, feasibility and computational capacities. Existing research introduced meta-morphic testing to...
conference paper 2023
document
Panichella, A. (author), Di Domenico, Giuseppe (author)
Spatial mode division de-multiplexing of optical signals has many real-world applications, such as quantum computing and both classical and quantum optical communication. In this context, it is crucial to develop devices able to efficiently sort optical signals according to the optical mode they belong to and route them on different paths....
conference paper 2023
document
Panichella, A. (author)
A key idea in many-objective optimization is to approximate the optimal Pareto front using a set of representative non-dominated solutions. The produced solution set should be close to the optimal front (convergence) and well-diversified (diversity). Recent studies have shown that measuring both convergence and diversity depends on the shape (or...
conference paper 2022
document
Di Domenico, Giuseppe (author), Weisman, Dror (author), Panichella, A. (author), Roitman, Dolev (author), Arie, Ady (author)
Spatial modes of light can be used as carriers of information in classical optical communication or as an alphabet in quantum optical communication. In order to exploit the spatial domain, it is required to (de)multiplex different modes from a shared input channel into different output ports. Mode sorters have been employed in free-space and...
journal article 2022
document
Soltani, M. (author), Panichella, A. (author), van Deursen, A. (author)
Software systems fail. These failures are often reported to issue tracking systems, where they are prioritized and assigned to responsible developers to be investigated. When developers debug software, they need to reproduce the reported failure in order to verify whether their fix actually prevents the failure from happening again. Since...
journal article 2020
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Zaidman, A.E. (author), van Deursen, A. (author), Panichella, A. (author)
Writing a test case reproducing a reported software crash is a common practice to identify the root cause of an anomaly in the software under test. However, this task is usually labor-intensive and time-taking. Hence, evolutionary intelligence approaches have been successfully applied to assist developers during debugging by generating a test...
conference paper 2020
document
Panichella, A. (author)
Latent Dirichlet Allocation (LDA) has been used to support many software engineering tasks. Previous studies showed that default settings lead to sub-optimal topic modeling with a dramatic impact on the performance of such approaches in terms of precision and recall. For this reason, researchers used search algorithms (e.g., genetic...
conference paper 2019
document
Di Nucci, D. (author), Panichella, A. (author), Zaidman, A.E. (author), De Lucia, Andrea (author)
Regression testing is performed during maintenance activities to assess whether the unchanged parts of a software behave as intended. To reduce its cost, test case prioritization techniques can be used to schedule the execution of the available test cases to increase their ability to reveal regression faults earlier. Optimal test ordering can be...
journal article 2018
document
Soltani, M. (author), Panichella, A. (author), van Deursen, A. (author)
To reduce the effort developers have to make for crash debugging, researchers have proposed several solutions for automatic failure reproduction. Recent advances proposed the use of symbolic execution, mutation analysis, and directed model checking as underling techniques for post-failure analysis of crash stack traces. However, existing...
conference paper 2017
document
Soltani, M. (author), Panichella, A. (author), van Deursen, A. (author)
Manual crash reproduction is a labor-intensive and time-consuming task. Therefore, several solutions have been proposed in literature for automatic crash reproduction, including generating unit tests via symbolic execution and mutation analysis. However, various limitations adversely affect the capabilities of the existing solutions in...
conference paper 2016
document
Panichella, A. (author), Alexandru, Carol V. (author), Panichella, Sebastiano (author), Bacchelli, A. (author), Gall, Harald C. (author)
Research has yielded approaches to predict future defects in software artifacts based on historical information, thus assisting companies in effectively allocating limited development resources and developers in reviewing each others' code changes. Developers are unlikely to devote the same effort to inspect each software artifact predicted...
conference paper 2016
document
Di Nucci, Dario (author), Panichella, A. (author), Zaidman, A.E. (author), De Lucia, Andrea (author)
Test case prioritization (TCP) is aimed at finding an ideal ordering for executing the available test cases to reveal faults earlier. To solve this problem greedy algorithms and meta-heuristics have been widely investigated, but in most cases there is no statistically significant difference between them in terms of effectiveness. The fitness...
conference paper 2015
Searched for: subject%3A%22Algorithms%22
(1 - 14 of 14)