35 citations · 129 across the 28 of their papers we have counts for
5 papers · 1 filter
Field-based Security Testing of SDN configuration Updates
Jahanzaib Malik, Fabrizio Pastore
Software-defined systems revolutionized the management of hardware devices but introduced quality assurance challenges that remain to be tackled. For example, software defined netw…
MOTIF: A tool for Mutation Testing with Fuzzing
Jaekwon Lee, Enrico Viganò, Fabrizio Pastore +1
Mutation testing consists of generating test cases that detect faults injected into software (generating mutants) which its original test suite could not. By running such an augmen…
Search-based DNN Testing and Retraining with GAN-enhanced Simulations
Mohammed Oualid Attaoui, Fabrizio Pastore, Lionel Briand
In safety-critical systems (e.g., autonomous vehicles and robots), Deep Neural Networks (DNNs) are becoming a key component for computer vision tasks, particularly semantic segment…
AIM: Automated Input Set Minimization for Metamorphic Security Testing
Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore +1
Although the security testing of Web systems can be automated by generating crafted inputs, solutions to automate the test oracle, i.e., vulnerability detection, remain difficult t…
Towards Generating Executable Metamorphic Relations Using Large Language Models
Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli +1
Metamorphic testing (MT) has proven to be a successful solution to automating testing and addressing the oracle problem. However, it entails manually deriving metamorphic relations…