Login / Signup
Sven Sieverding
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Intermediate Representation
Functional Requirements
Petri Net
Test Case Generation
Top Venues
FESCA
ISSRE Workshops
FMICS
</>
Publications
</>
Christian Ellen
,
Sven Sieverding
,
Hardi Hungar
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements.
FMICS
(2014)
Wolfgang Herzner
,
Sven Sieverding
,
Omar Kacimi
,
Eckard Böde
,
Thomas Bauer
,
Brian Nielsen
Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns.
ISSRE Workshops
(2014)
Sven Sieverding
,
Christian Ellen
,
Peter Battram
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
FESCA
(2013)