Följ
Melanie Diepenbeck
Melanie Diepenbeck
Researcher, Bremen University
Verifierad e-postadress på informatik.uni-bremen.de
Titel
Citeras av
Citeras av
År
Completeness-driven development
R Drechsler, M Diepenbeck, D Große, U Kühne, HM Le, J Seiter, ...
International Conference on Graph Transformation, 38-50, 2012
312012
Behavior driven development for circuit design and verification
M Diepenbeck, M Soeken, D Große, R Drechsler
2012 IEEE International High Level Design Validation and Test Workshop …, 2012
292012
Behaviour driven development for tests and verification
M Diepenbeck, U Kühne, M Soeken, R Drechsler
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014
182014
iTac: aspect based sentiment analysis using sentiment trees and dictionaries
F Bornebusch, G Cancino, M Diepenbeck, R Drechsler, S Djomkam, ...
Proceedings of the 8th international workshop on semantic evaluation …, 2014
102014
Towards automatic scenario generation from coverage information
M Diepenbeck, M Soeken, D Große, R Drechsler
Automation of Software Test (AST), 2013 8th International Workshop on, 82-88, 2013
82013
PASSAT 2.0: A multi-functional SAT-based testing framework
R Drechsler, M Diepenbeck, S Eggersglüß, R Wille
Test Workshop (LATW), 2013 14th Latin American, 1-1, 2013
72013
Behaviour driven development for hardware design
M Diepenbeck, U Kühne, M Soeken, D Große, R Drechsler
IPSJ Transactions on System and LSI Design Methodology 11, 29-45, 2018
32018
Towards increasing test compaction abilities of sAT-based aTPG through fault detection constraints
S Eggersglüß, M Diepenbeck, R Wille, R Drechsler
Workshop on RTL and High Level Testing, 2012
12012
Completing Behaviour Driven Development for Testing and Verification: Bringing Agile to Hardware Development
M Diepenbeck
Universität Bremen, 2015
2015
Hochoptimierter Ablauf zur Robustheitsprufung
S Frehse, F Haedicke, M Diepenbeck, G Fey, R Drechsler
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), 2011
2011
cucumber-verilog: Behavior Driven Development for Circuit Design and Verification
M Diepenbeck, M Soeken, U Kühne, R Drechsler
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–11