Novel Control Flow Checking Implementations for Automotive Software.

Francesco Cosimi Jacopo Sini Antonio Arena Massimo Violante

Published in: SMACD (2023)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
business process models
test cases
modeling language
formal semantics
transition systems
database
reactive systems
information systems
software development
intelligent systems