Property probes: Live exploration of program analysis results
Autor: | Risberg Alaküla, Anton, Hedin, Görel, Fors, Niklas, Pop, Adrian |
---|---|
Zdroj: | In The Journal of Systems & Software May 2024 211 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Risberg Alaküla, Anton, Hedin, Görel, Fors, Niklas, Pop, Adrian |
---|---|
Zdroj: | In The Journal of Systems & Software May 2024 211 |
Databáze: | ScienceDirect |
Externí odkaz: |