Willibald Krenn
Orcid: 0000-0002-6286-3413
According to our database1,
Willibald Krenn
authored at least 24 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
6
7
2
3
1
1
1
2
1
2
2
1
1
4
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search.
ACM Trans. Embed. Comput. Syst., 2019
Softw. Qual. J., 2019
Elektrotech. Informationstechnik, 2019
2018
Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018
2017
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles.
Proceedings of the Testing Software and Systems, 2017
2015
Softw. Test. Verification Reliab., 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Proceedings of the 7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2015
2014
Proceedings of the Tests and Proofs - 8th International Conference, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
2011
ACM SIGSOFT Softw. Eng. Notes, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
2010
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.
Elektrotech. Informationstechnik, 2010
2009
Proceedings of Fifth Workshop on Model Based Testing, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Intelligent Technical Systems, 2009
Proceedings of the Intelligent Technical Systems, 2009
2007
Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007
Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007
Proceedings of the Advances in Intelligent and Distributed Computing, 2007