Searched for: subject%3A%22Search%255C-Based%255C+Software%255C+Testing%22
(1 - 20 of 30)

Pages

document
Lin, Longfei (author)
Software testing, a critical phase in the software development lifecycle, is often hindered by the time-intensive and costly manual creation of test cases. While automating test case generation could mitigate these challenges, its adoption in the industry has been limited due to difficulties in comprehending the generated test cases. To address...
master thesis 2023
document
Li, Erwin (author)
Software testing is an important but time-consuming task, making automatic test case generation an appealing solution. The current state-of-the-art algorithm for test case generation is DynaMOSA, which is an improvement of NSGA-II that applies domain knowledge to make it more suitable for test case generation. Although these enhancements are...
bachelor thesis 2023
document
Viero, Diego (author)
In recent decades, automatic test generation has advanced significantly, providing developers with time-saving benefits and facilitating software debugging. While most research in this field focused on search-based test generation tools for statically-typed languages, only a few have been adapted for dynamically-typed languages. The larger...
bachelor thesis 2023
document
van Dinten, I. (author), Zaidman, A.E. (author), Panichella, A. (author)
Test case prioritization techniques have emerged as effective strategies to optimize this process and mitigate the regression testing costs. Commonly, black-box heuristics guide optimal test ordering, leveraging information retrieval (e.g., cosine distance) to measure the test case distance and sort them accordingly. However, a challenge...
conference paper 2023
document
Bartlett, A.J. (author), Liem, C.C.S. (author), Panichella, A. (author)
Deep learning (DL) models are known to be highly accurate, yet vulnerable to adversarial examples. While earlier research focused on generating adversarial examples using whitebox strategies, later research focused on black-box strategies, as models often are not accessible to external attackers. Prior studies showed that black-box approaches...
conference paper 2023
document
van Meerten, Martijn (author)
Distributed concurrency bugs (DC bugs) are bugs that are triggered by a specific order of events in distributed systems. Traditional model checkers systematically or randomly test interleavings but suffer from the state-space explosion in long executions. This thesis presents DiscoTest, a testing tool for DC bugs in blockchain consensus...
master thesis 2022
document
Devroey, Xavier (author), Gambi, Alessio (author), Galeotti, Juan Pablo (author), Just, René (author), Kifetew, Fitsum Meshesha (author), Panichella, Sebastiano (author), Panichella, A. (author)
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and various platforms (e.g., desktop, web, or mobile applications). The generators exhibit varying effectiveness and efficiency,...
journal article 2022
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Zaidman, A.E. (author)
Search-based techniques have been widely used for white-box test generation. Many of these approaches rely on the approach level and branch distance heuristics to guide the search process and generate test cases with high line and branch coverage. Despite the positive results achieved by these two heuristics, they only use the information...
journal article 2022
document
Derakhshanfar, P. (author)
Software testing is one of the essential and expensive tasks in software development. Hence, many approaches were introduced to automate different software testing tasks. Among these techniques, search-based test generation techniques have been vastly applied in real-world cases and have shown promising results. These strategies apply search...
doctoral thesis 2021
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Perrouin, Gilles (author), Zaidman, A.E. (author), van Deursen, A. (author)
This is an extended abstract of the article: Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman and Arie van Deursen. 2019. Search-based crash reproduction using behavioural model seeding. In: Software Testing, Verification and Reliability (May 2020). http://doi.org/10.1002/stvr.1733.
conference paper 2021
document
Olsthoorn, Mitchell (author), Derakhshanfar, P. (author), Panichella, A. (author)
State-of-the-art search-based approaches for test case generation work at test case level, where tests are represented as sequences of statements. These approaches make use of genetic operators (i.e., mutation and crossover) that create test variants by adding, altering, and removing statements from existing tests. While this encoding schema has...
conference paper 2021
document
Olsthoorn, Mitchell (author), Derakhshanfar, P. (author), Devroey, Xavier (author)
Model seeding is a strategy for injecting additional information in a search-based test generation process in the form of models, representing usages of the classes of the software under test. These models are used during the search-process to generate logical sequences of calls whenever an instance of a specific class is required. Model seeding...
conference paper 2020
document
Evers, B. (author), Derakhshanfar, P. (author), Devroey, Xavier (author), Zaidman, A.E. (author)
Various search-based test generation techniques have been proposed to automate the generation of unit tests fulfilling different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite several advances made over the years, search-based unit test generation still suffers from a lack of guidance due to the limited amount of...
conference paper 2020
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Zaidman, A.E. (author)
Search-based techniques have been widely used for white-box test generation. Many of these approaches rely on the approach level and branch distance heuristics to guide the search process and generate test cases with high line and branch coverage. Despite the positive results achieved by these two heuristics, they only use the information...
conference paper 2020
document
de Vries, Chiel (author)
To validate the quality of software, test cases are used. These test cases are often manually-written, which is labor-intensive. To avoid this problem, automated software testing was invented. Search-based software testing is a useful tool for developers to automatically generate test cases. However, improvements are still needed to create test...
bachelor thesis 2020
document
Evers, Björn (author)
Various search-based test generation techniques have been proposed to automate the process of test generation to fulfill different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite these techniques' undeniable accomplishments, they still suffer from a lack of guidance coming from the data gathered from the production...
master thesis 2020
document
Xiang, Shang (author)
Software applications inevitably crash, and it is time-consuming to recreate the crash conditions for debugging. Recently, researchers have developed frameworks relying on genetic algorithms, e.g. Botsing, for automated crash reproduction. However, the existing approaches process exceptions of different types as if they were the same. In this...
master thesis 2020
document
Soltani, M. (author), Derakhshanfar, P. (author), Devroey, Xavier (author), van Deursen, A. (author)
Crash reproduction approaches help developers during debugging by generating a test case that reproduces a given crash. Several solutions have been proposed to automate this task. However, the proposed solutions have been evaluated on a limited number of projects, making comparison difficult. In this paper, we enhance this line of research by...
journal article 2020
document
Abdessalem, Raja Ben (author), Panichella, A. (author), Nejati, Shiva (author), Briand, Lionel (author), Stifter, Thomas (author)
In the past years, several automated repair strategies have been proposed to fix bugs in individual software programs without any human intervention. There has been, however, little work on how automated repair techniques can resolve failures that arise at the system-level and are caused by undesired interactions among different system...
conference paper 2020
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Zaidman, A.E. (author), van Deursen, A. (author), Panichella, A. (author)
Evolutionary-based crash reproduction techniques aid developers in their debugging practices by generating a test case that reproduces a crash given its stack trace. In these techniques, the search process is typically guided by a single search objective called Crash Distance. Previous studies have shown that current approaches could only...
conference paper 2020
Searched for: subject%3A%22Search%255C-Based%255C+Software%255C+Testing%22
(1 - 20 of 30)

Pages