Login / Signup

Verifying and Testing Concurrent Programs using Constraint Solver based Approaches.

Dhriti KhannaRahul PurandareSubodh Sharma
Published in: ICSME (2020)
Keyphrases
  • concurrent programs
  • constraint solver
  • constraint solving
  • linear constraints
  • optimal solution
  • concurrent processes