Our paper Capturing Program Models with BISM has been accepted for publication in the Software Verification and Testing Track of the The 37th ACM Symposium on Applied Computing (SAC 2022).
This is joint work with Chukri Soueiidi.
Our paper Capturing Program Models with BISM has been accepted for publication in the Software Verification and Testing Track of the The 37th ACM Symposium on Applied Computing (SAC 2022).
This is joint work with Chukri Soueiidi.