Andreas Ulrich

Verifying trustworthiness requirements in distributed systems with formal log-file analysis

Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich, 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

Advances in test automation for software with special focus on artificial intelligence and machine learning

Xiaoying Bai, Antonia Bertolino, Andreas Ulrich, 2019, Software Quality Journal.

Endophytes: A new source for multi-target Biological Control Agents?

J. Hallmann, Andreas Ulrich, Gabriele Berg, 2004 .

Testing Software and Systems

Hüsnü Yenigün, Andreas Ulrich, Cemal Yilmaz, 2015, Lecture Notes in Computer Science.

International workshop on testing distributed component-based systems

Peter Zimmerer, Andreas Ulrich, 1999, ICSE 1999.

Formal Approaches to Software Testing

Alexandre Petrenko, Andreas Ulrich, 2003, Lecture Notes in Computer Science.