Stav dette: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis