Symbolic Execution is a widely used technique for program testing and analysis. When a program executes a trace symbolically, it simulates all possible paths. This results in an exponential growth of ...

Counting Extended Irreducible Binary Quartic Goppa Codes of Length 2 + 1 We produce an upper bound on the number of extended irreducible binary quartic Goppa codes of length 2 n +1, where n > 3 is a ...