Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
Sign Up to like & getrecommendations! Published in 2025 at "Software and Systems Modeling"
DOI: 10.1007/s10270-025-01271-8
Abstract: Cyber-physical systems (CPSs) blend digital and physical processes. CPS software is the key to realizing their functionalities. This software needs to evolve to deal with different aspects, such as the implementation of new functionalities or… read more here.
Keywords: defining generating; test oracles; physical systems; test ... See more keywords
MetaMFL: Metamorphic Multiple Fault Localization Without Test Oracles
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Reliability"
DOI: 10.1109/tr.2024.3504400
Abstract: Multiple fault localization (MFL) identifies the positions of multiple faults (i.e., more than one fault) residing in a buggy program. It is notably more difficult as compared with single fault localization (SFL) which aims to… read more here.
Keywords: multiple fault; fault localization; test oracles; fault ... See more keywords