CLPS-B—A Constraint Solver for B

This publication has 12 references indexed in Scilit:

• A Comparison of the BTT and TTF Test-Generation Methods
  Published by Springer Nature ,2002
• ATGen: automatic test data generation using constraint logic programming and symbolic execution
  Software Testing, Verification and Reliability, 2001
• A Computation Model for Z Based on Concurrent Constraint Resolution
  Published by Springer Nature ,2000
• A CLP Framework for Computing Structural Test Data
  Published by Springer Nature ,2000
• Interval propagation to reason about sets: Definition and implementation of a practical language
  Constraints, 1997
• The B-Book
  Published by Cambridge University Press (CUP) ,1996
• ON THE ANIMATION OF “NOT EXECUTABLE” SPECIFICATIONS BY PROLOG
  International Journal of Software Engineering and Knowledge Engineering, 1996
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• Software development: two approaches to animation of Z specifications using prolog
  Software Engineering Journal, 1992
• Constraint satisfaction algorithms1
  Computational Intelligence, 1989