I have a friend that thinks his HP C-series computers are having their
MAC addresses changed by application software on the computer (a control
system vendor provides the HMI application). He is suspecting this
because the upstream Cisco network switch is reporting the same MAC on
two ports even after a reset of the ports.

Is this possible? I suspect that something isn't being flushed
correctly in the switch, but really don't know.