SA-TTA

Code for submission to the 13th technical track on Software Architecture: Theory, Technology, and Applications.

SAS

Code for submission to the 31st Static Analysis Symposium.

AEiC

Code for submission to Ada-Europe International Conference on Reliable Software Technologies.