maligulzar/BigTest

Issues

• Eliminating Racially Sensitive Terminology

  #26 opened 4 years ago
  0

• Support Arrays of Tuples for Flatmap

  #25 opened 7 years ago
  0

• Change Array Translation From EXPR to Z3

  #24 opened 7 years ago
  1

• GroupByKey requires modeling of arrays and symbolic execution of arrays. This requires setting up array bounds

  #23 opened 7 years ago
  2

• Transform input Tuple Type of a method into individual parameters

  #22 opened 7 years ago
  1

• Automate the removal of unwanted PC in Symbolic Listeners from Null checking of objects

  #21 opened 7 years ago
  0

• Fix Fresh Variable to avoid introducing too many variables

  #20 opened 7 years ago
  0

• Fix variable name rewrite to stop removing "_'

  #19 opened 7 years ago
  0

• Fix variable name rewrite to stop removing "_'

  #18 opened 7 years ago
  1

• The output of the map operation where a constant String is wrapped into an object is not readable by the symbolic listener

  #17 opened 7 years ago
  0

• Link the input of the reduce to the output of the upstream operation

  #16 opened 7 years ago
  1

• Transform Flatmap output to form multiple JDU path based on the bound

  #15 opened 7 years ago
  0

• Generate Multiple Rows of input in case of ReduceByKey and Join

  #14 opened 7 years ago
  0

• Deciding on output format of symbolic execution

  #13 opened 7 years ago
  1

• Finding Satisfying Assignments using Z3

  #12 opened 7 years ago
  0

• Path Constraints to Z3 Constraints

  #11 opened 7 years ago
  0

• Detect Uncovered Path Constraints

  #10 opened 7 years ago
  0

• Constraints Simplification

  #9 opened 7 years ago
  0

• Constraints to Selection Query Translation

  #8 opened 7 years ago
  0

• Integrate Logical Specs with Symbolic Execution

  #7 opened 7 years ago
  0

• Handling Spark API calls in benchmark programs for Symbolic Execution

  #6 opened 7 years ago
  0

• Test Spark benchmark programs on JPF

  #5 opened 7 years ago
  0

• Simple Scala Program on JPF

  #4 opened 7 years ago
  0

• Spark/Scala Programs

  #3 opened 7 years ago
  1

• JPF Basics

  #2 opened 7 years ago
  2

• Temp

  #1 opened 8 years ago
  0