Login / Signup

On how characteristics that hinder test data generation using symbolic execution combine: An analysis of the SF100 benchmark.

Marcelo Medeiros ElerAndré Takeshi EndoVinicius H. S. DurelliDanilo Medeiros Eler
Published in: SCCC (2016)
Keyphrases
  • symbolic execution
  • test data generation
  • static analysis
  • test cases
  • search based testing
  • software testing
  • simulated annealing algorithm
  • test generation
  • artificial intelligence
  • high level
  • source code