5 citations · 6 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 5 cited
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
Claudio Mandrioli, Seung Yeob Shin, Domenico Bianculli +1
Cyber-Physical Systems (CPSs) software is used to enforce desired behaviours on physical systems. To test the interaction between the CPS software and the system's physics, enginee…
cs.SE2024★ 1 cited
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…