- document
-
van Dinten, I. (author), Derakhshanfar, Pouria (author), Panichella, A. (author), Zaidman, A.E. (author)Cyber-Physical Systems (CPSs) have gained traction in recent years. A major non-functional quality of CPS is performance since it affects both usability and security. This critical quality attribute depends on the specialized hardware, simulation engines, and environmental factors that characterize the system under analysis. While a large body...journal article 2024
- document
-
Birchler, Christian (author), Khatiri, Sajad (author), Derakhshanfar, P. (author), Panichella, Sebastiano (author), Panichella, A. (author)Testing with simulation environments helps to identify critical failing scenarios for self-driving cars (SDCs). Simulation-based tests are safer than in-field operational tests and allow detecting software defects before deployment. However, these tests are very expensive and are too many to be run frequently within limited time constraints...journal article 2023
- 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
-
Veldkamp, L.S. (author), Olsthoorn, Mitchell (author), Panichella, A. (author)Web Application Programming Interfaces (APIs) allow systems to be addressed programmatically and form the backbone of the internet. RESTful and RPC APIs are among the most common API architectures used. In the last decades, researchers have proposed various techniques for automated testing of RESTful APIs, however, to the best of the authors'...conference paper 2023
- document
-
Applis, L.H. (author), Panichella, A. (author)We present HasBugs, an extensible and manually-curated dataset of real-world 25 Haskell Bugs from 6 open source repositories. We provide a faulty, tested, and fixed version of each bug in our dataset with reproduction packages, description, and bug context. For technical users, the dataset is meant to either help researchers adapt techniques...conference paper 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
-
Zampetti, Fiorelli (author), Tamburri, Damian A. (author), Panichella, Sebastiano (author), Panichella, A. (author), Di Penta, Massimiliano (author), Canfora, Gerardo (author)Continuous Integration and Delivery (CI/CD) practices have shown several benefits for software development and operations, such as faster release cycles and early discovery of defects. For Cyber-Physical System (CPS) development, CI/CD can help achieving required goals, such as high dependability, yet it may be challenging to apply. This...journal article 2022
- document
-
Gissurarson, Matthías Páll (author), Applis, L.H. (author), Panichella, A. (author), van Deursen, A. (author), Sands, David (author)Automatic program repair (APR) regularly faces the challenge of overfitting patches — patches that pass the test suite, but do not actually address the problems when evaluated manually. Currently, overfit detection requires manual inspection or an oracle making quality control of APR an expensive task. With this work, we want to introduce...conference paper 2022
- 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
-
Panichella, A. (author), Panichella, Sebastiano (author), Fraser, Gordon (author), Sawant, Anand Ashok (author), Hellendoorn, Vincent (author)Test smells aim to capture design issues in test code that reduces its maintainability. These have been extensively studied and generally found quite prevalent in both human-written and automatically generated test-cases. However, most evidence of prevalence is based on specific static detection rules. Although those are based on the original,...journal article 2022
- document
-
Stallenberg, D.M. (author), Olsthoorn, Mitchell (author), Panichella, A. (author)Search-based test case generation approaches make use of static type information to determine which data types should be used for the creation of new test cases. Dynamically typed languages like JavaScript, however, do not have this type information. In this paper, we propose an unsupervised probabilistic type inference approach to infer data...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
-
Olsthoorn, Mitchell (author), Stallenberg, D.M. (author), van Deursen, A. (author), Panichella, A. (author)Ethereum is the largest and most prominent smart contract platform. One key property of Ethereum is that once a contract is deployed, it can not be updated anymore. This increases the importance of thoroughly testing the behavior and constraints of the smart contract before deployment. Existing approaches in related work either do not scale or...conference paper 2022
- document
-
Olsthoorn, Mitchell (author), van Deursen, A. (author), Panichella, A. (author)Transaction-reverting statements are key constructs within Solidity that are extensively used for authority and validity checks. Current state-of-the-art search-based testing and fuzzing approaches do not explicitly handle these statements and therefore can not effectively detect security vulnerabilities. In this paper, we argue that it is...conference paper 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
-
Applis, L.H. (author), Panichella, A. (author), van Deursen, A. (author)Metamorphic testing is a well-established testing technique that has been successfully applied in various domains, including testing deep learning models to assess their robustness against data noise or malicious input. Currently, metamorphic testing approaches for machine learning (ML) models focused on image processing and object recognition...conference paper 2021