JŘrgen Gro▀mann
JŘrgen Gro▀mann
Email verificata su fokus.fraunhofer.de - Home page
Citata da
Citata da
Model-based security testing
I Schieferdecker, J Grossmann, M Schneider
arXiv preprint arXiv:1202.6118, 2012
Continuous TTCN-3: testing of embedded control systems
I Schieferdecker, E Bringmann, J Gro▀mann
Proceedings of the 2006 international workshop on Software engineering forá…, 2006
Online model-based behavioral fuzzing
M Schneider, J Gro▀mann, I Schieferdecker, A Pietschker
2013 IEEE Sixth International Conference on Software Testing, Verificationá…, 2013
Testing embedded real time systems with TTCN-3
J Grossmann, D Serbanescu, I Schieferdecker
2009 International Conference on Software Testing Verification andá…, 2009
Testml-a test exchange language for model-based testing of embedded software
J Grossmann, I Fey, A Krupp, M Conrad, C Wewetzer, W Mueller
Automotive Software Workshop, 98-117, 2006
Behavioral fuzzing operators for UML sequence diagrams
M Schneider, J Gro▀mann, N Tcholtchev, I Schieferdecker, A Pietschker
International Workshop on System Analysis and Modeling, 88-104, 2012
Architecture driven modernization in practice–study results
A Sadovykh, L Vigier, A Hoffmann, J Grossmann, T Ritter, E Gomez, ...
2009 14th IEEE International Conference on Engineering of Complex Computerá…, 2009
Combining risk analysis and security testing
J Gro▀mann, M Schneider, J Viehmann, MF Wendland
International Symposium On Leveraging Applications of Formal Methodsá…, 2014
Combining security risk assessment and security testing based on standards
J Gro▀mann, F Seehusen
International Workshop on Risk Assessment and Risk-driven Testing, 18-33, 2015
Modeling property based stream templates with TTCN-3
J Grossmann, I Schieferdecker, HW Wiesbrock
Testing of Software and Communicating Systems, 70-85, 2008
Testing embedded control systems with ttcn-3
I Schieferdecker, J Gro▀mann
IFIP International Workshop on Software Technolgies for Embedded andá…, 2007
A formal behavioral semantics for TestML
J Grossmann, W MŘller
Second International Symposium on Leveraging Applications of Formal Methodsá…, 2006
On study results: round trip engineering of space systems
A Sadovykh, L Vigier, E Gomez, A Hoffmann, J Grossmann, O Estekhin
European conference on model driven architecture-foundations andá…, 2009
Establishing a service-oriented tool chain for the development of domain-independent MBT scenarios
MF Wendland, J Gro▀mann, A Hoffmann
2010 17th IEEE International Conference and Workshops on Engineering ofá…, 2010
Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3
I Schieferdecker, J Grossmann
International Journal on Software Tools for Technology Transfer 10 (4), 383-400, 2008
Enabling model-based testing for SOA integration testing
S Wieczorek, A Stefanescu, J Gro▀mann
Proc. of 1st Model-based testing in practice workshop (MOTIP 2008), 77-82, 2008
A trace management platform for risk-based security testing
J Grossmann, M Berger, J Viehmann
International Workshop on Risk Assessment and Risk-driven Testing, 120-135, 2013
Testing hybrid systems with TTCN-3 embedded
J Grossmann
International Journal on Software Tools for Technology Transfer 16 (3), 247-267, 2014
Mapping AUTOSAR interfaces to TTCN-3
J Gro▀mann, I Schieferdecker
TTCN-3 User Conference 2009, 2009
Testing of Embedded Control Systems with Continous Signals.
I Schieferdecker, J Gro▀mann
MBEES, 113-122, 2006
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20