Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis | lit.salon