Login / Signup

Finding race conditions in Erlang with QuickCheck and PULSE.

Koen ClaessenMichal H. PalkaNicholas SmallboneJohn HughesHans SvenssonThomas ArtsUlf T. Wiger
Published in: ICFP (2009)
Keyphrases
  • sufficient conditions
  • three dimensional
  • wide range
  • databases
  • feature selection
  • multi agent
  • optimal solution
  • natural language
  • special case
  • finding optimal
  • method finds