A Constraint Solver for PHP Arrays

Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 218-223, IEEE, 2013. [doi]

Abstract

Abstract is missing.