Pietro Braione

icon indicating a website link http://sites.google.com/site/pietrobraione icon indicating an email [email protected]

icon company Università degli Studi di Milano-Bicocca icon location Milan, Italy icon location I am an associate professor working in the field of automated software analysis and test generation.

Results 4 issues of Pietro Braione

Wrong fsm/complement

7 comment

The construction of the complement of an automaton (automat.fsm/complement) is wrong, as it appears by inspecting the svg of the complement of a, or of the complement of a*. Currently...

bug

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

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

bug

ClassFile.renames fails in presence of generics

The method `javassist.bytecode.ClassFile.renameClass(Map)` fails when the classes to be renamed are generic. Apparently the problem is due to the fact that Javassist does not modify the constant pool entries that...

macOS Catalina error: z3 cannot be opened because the developer cannot be verified

3 comment

Experienced with Z3 release 4.8.6. Catalina is stricter on checking that the installed apps are signed with an Apple developer key. You can work around the problem by selecting the...

API usability / compile