Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

von Zheng, Guolong
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)

Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis : Boston, Massachusetts, USA, July 11 - 14, 2004

Veröffentlicht 2004