Types of semantic bugs, logic errors [closed]
- by C-Otto
I am a PhD student and currently focus on automatically finding instances of new types of bugs in (Java) programs that cannot be found by existing tools like FindBugs. The existing tool currently is used to prove/disprove termination of (Java) programs.
I have some ideas (see below), but I could need more input from you (experienced programmers,…