Login / Signup

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck.

Samuel da Silva FeitosaRodrigo Geraldo RibeiroAndré Rauber Du Bois
Published in: CLEI Selected Papers (2018)
Keyphrases
  • java programs
  • multi threaded
  • software components
  • java language
  • higher order
  • test suite
  • test case generation
  • high level
  • database systems
  • multi agent systems