Abstract:
A formal traceability model is presented with a real-world application of a gray-box penetration test. Such formal traceability improves test effectiveness and efficiency...Show MoreMetadata
Abstract:
A formal traceability model is presented with a real-world application of a gray-box penetration test. Such formal traceability improves test effectiveness and efficiency, thus underlining the applicability and value of formal methods in an industry context.
Vector Consulting Services
Christof Ebert is the managing director of Vector Consulting Services, Stuttgart, 70499, Germany, and a professor at the University of Stuttgart, Stuttgart, Germany, and the Sorbonne, Paris, France. Ebert received a Ph.D. in electrical engineering from the University of Stuttgart. He serves on the editorial board of IEEE Software and is a Senior Member of IEEE. Contact him at christof.ebert@vector.com.
Christof Ebert is the managing director of Vector Consulting Services, Stuttgart, 70499, Germany, and a professor at the University of Stuttgart, Stuttgart, Germany, and the Sorbonne, Paris, France. Ebert received a Ph.D. in electrical engineering from the University of Stuttgart. He serves on the editorial board of IEEE Software and is a Senior Member of IEEE. Contact him at christof.ebert@vector.com.View more
University of Stuttgart
Ruschil Ray is with the University of Stuttgart, Stuttgart, 70569, Germany, and Robert Bosch, Stuttgart, 70499, Germany. Her research interests are in security analysis, processes, and automotive embedded systems. Ray received a master's degree in the specialization of embedded systems from the University of Stuttgart. Contact her at ruschil.ray@vector.com.
Ruschil Ray is with the University of Stuttgart, Stuttgart, 70569, Germany, and Robert Bosch, Stuttgart, 70499, Germany. Her research interests are in security analysis, processes, and automotive embedded systems. Ray received a master's degree in the specialization of embedded systems from the University of Stuttgart. Contact her at ruschil.ray@vector.com.View more
Contents Vector Consulting Services
Christof Ebert is the managing director of Vector Consulting Services, Stuttgart, 70499, Germany, and a professor at the University of Stuttgart, Stuttgart, Germany, and the Sorbonne, Paris, France. Ebert received a Ph.D. in electrical engineering from the University of Stuttgart. He serves on the editorial board of IEEE Software and is a Senior Member of IEEE. Contact him at christof.ebert@vector.com.
Christof Ebert is the managing director of Vector Consulting Services, Stuttgart, 70499, Germany, and a professor at the University of Stuttgart, Stuttgart, Germany, and the Sorbonne, Paris, France. Ebert received a Ph.D. in electrical engineering from the University of Stuttgart. He serves on the editorial board of IEEE Software and is a Senior Member of IEEE. Contact him at christof.ebert@vector.com.View more
University of Stuttgart
Ruschil Ray is with the University of Stuttgart, Stuttgart, 70569, Germany, and Robert Bosch, Stuttgart, 70499, Germany. Her research interests are in security analysis, processes, and automotive embedded systems. Ray received a master's degree in the specialization of embedded systems from the University of Stuttgart. Contact her at ruschil.ray@vector.com.
Ruschil Ray is with the University of Stuttgart, Stuttgart, 70569, Germany, and Robert Bosch, Stuttgart, 70499, Germany. Her research interests are in security analysis, processes, and automotive embedded systems. Ray received a master's degree in the specialization of embedded systems from the University of Stuttgart. Contact her at ruschil.ray@vector.com.View more
