| SMT-based false positive elimination in static program analysis M Junker, R Huuck, A Fehnker, A Knapp International Conference on Formal Engineering Methods, 316-331, 2012 | 34 | 2012 |
| Supporting concurrent development of requirements and architecture: A model-based approach A Vogelsang, S Eder, G Hackenberg, M Junker, S Teufl Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd …, 2014 | 27 | 2014 |
| How Much Does Unused Code Matter for Maintenance? S Eder, M Junker, E Jürgens, B Hauptmann, R Vaas, KH Prommer, M Re | 26 | 2012 |
| A formal systems engineering approach in practice: an experience report W Böhm, M Junker, A Vogelsang, S Teufl, R Pinger, K Rahn Proceedings of the 1st International Workshop on Software Engineering …, 2014 | 22 | 2014 |
| Using Edge Bundle Views for Clone Visualization B Hauptmann, V Bauer, M Junker | 20 | 2012 |
| Did we test our changes?: assessing alignment between tests and development in practice S Eder, B Hauptmann, M Junker, E Juergens, R Vaas, KH Prommer Proceedings of the 8th International Workshop on Automation of Software Test …, 2013 | 17 | 2013 |
| Hunting for smells in natural language tests B Hauptmann, M Junker, S Eder, L Heinemann, R Vaas, P Braun Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 15 | 2013 |
| Configuring latent semantic indexing for requirements tracing S Eder, H Femmer, B Hauptmann, M Junker Proceedings of the Second International Workshop on Requirements Engineering …, 2015 | 14 | 2015 |
| Characterizing implicit communal components as technical debt in automotive software systems A Vogelsang, H Femmer, M Junker Software Architecture (WICSA), 2016 13th Working IEEE/IFIP Conference on, 31-40, 2016 | 7 | 2016 |
| Can Clone Detection Support Test Comprehension? B Hauptmann, M Junker, S Eder, E Juergens, R Vaas | 7 | 2012 |
| A Rigorous Approach to Availability Modeling M Junker, P Neubeck Modeling in Software Engineering (MISE), 2012 ICSE Workshop on, 2012 | 7 | 2012 |
| Utilizing user interface models for automated instantiation and execution of system tests B Hauptmann, M Junker Proceedings of the First International Workshop on End-to-End Test Script …, 2011 | 6 | 2011 |
| Specification and Analysis of Availability for Software-Intensive Systems M Junker Technische Universität München, 2016 | 5 | 2016 |
| Principles and a Process for Successful Industry Cooperation – The Case of TUM and Munich Re M Junker, M Broy, B Hauptmann, W Boehm, H Femmer, S Eder, ... SER&IP 2015, 2015 | 5 | 2015 |
| Which features do my users (not) use? S Eder, H Femmer, B Hauptmann, M Junker 2014 IEEE International Conference on Software Maintenance and Evolution …, 2014 | 5 | 2014 |
| An expert-based cost estimation model for system test execution B Hauptmann, M Junker, S Eder, C Amann, R Vaas Proceedings of the 2014 International Conference on Software and System …, 2014 | 5 | 2014 |
| Automated Test-Design from Requirements-the Specmate Tool D Freudenstein, M Junker, J Radduenz, S Eder, B Hauptmann 2018 IEEE/ACM 5th International Workshop on Requirements Engineering and …, 2018 | 4 | 2018 |
| SPECMATE: Automated Creation of Test Cases from Acceptance Criteria J Fischbach, A Vogelsang, D Spies, A Wehrle, M Junker, D Freudenstein 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 3 | 2020 |
| Automated Generation of Test Models from Semi-Structured Requirements J Fischbach, M Junker, A Vogelsang, D Freudenstein 2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019 | 3 | 2019 |
| Model-based availability analysis for automated production systems: a case study J Mund, M Junker, S Bougouffa, S Cha, B Vogel-Heuser Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 3 | 2017 |
Benedikt HauptmannQualicen GmbHBestätigte E-Mail-Adresse bei qualicen.de
