Martin is a research assistant in the Department of Computing at Imperial College London, where he is working in the Software Reliability Group on many interesting topics mainly focusing on symbolic execution. Martin’s research interests include software reliability and automatic analysis of programs. Beside that, he is also interested in concurrent programming using transactional memory.

He is doing his PhD at Technische Universität Dresden; studied there and worked at the Systems Engineering Group at for multiple years.

Group Publications

  • Running Symbolic Execution Forever

    Frank Busse, Martin Nowack, Cristian Cadar

    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)

  • KLEE Symbolic Execution Engine in 2019

    Cristian Cadar, Martin Nowack

    International Journal on Software Tools for Technology Transfer (2020)

  • Fine-grain Memory Object Representation in Symbolic Execution

    Martin Nowack

    IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

  • Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

    Timotej Kapus, Martin Nowack, Cristian Cadar

    Conference on Tests and Proofs (TAP 2019)

  • KLEE Symbolic Execution Engine: Test-Comp 2019 Entry

    Cristian Cadar, Martin Nowack

    Software Tools for Technology Transfer