State refinement does not work when symbolic arrays and maps are present

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

http://pietrobraione.github.io/jbse/

GNU General Public License v3.0

101 stars 29 forks source link

Open pietrobraione opened 4 years ago

pietrobraione commented 4 years ago

Symbolic arrays and maps were not considered when the state refinement algorithm was written.