Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Can Formal Specifications Be Synthesized from Tests Alone?

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Maximilian Müller, Tobias Hey, Vitus Lüntzel, Muhammad Minhas, Anne Koziolek, and Bernhard Beckert
In:Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE)
Series:ASE NIER
Year:2026

Note

Accepted

BibTeX

@inproceedings{liu2026test2jml,
  author    = {Liu, Tianhai and M{\"u}ller, Maximilian and Hey, Tobias and L{\"u}ntzel, Vitus and Minhas, Muhammad and Koziolek, Anne and Beckert, Bernhard},
  title     = {Can Formal Specifications Be Synthesized from Tests Alone?},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE)},
  series    = {ASE NIER},
  year      = {2026},
  note      = {Accepted}
}