%0 Journal Article %1 journals/jss/AlakulaHFP24 %A Alaküla, Anton Risberg %A Hedin, Görel %A Fors, Niklas %A Pop, Adrian %D 2024 %J J. Syst. Softw. %K dblp %P 111980 %T Property probes: Live exploration of program analysis results. %U http://dblp.uni-trier.de/db/journals/jss/jss211.html#AlakulaHFP24 %V 211

@article{journals/jss/AlakulaHFP24, added-at = {2024-06-18T00:00:00.000+0200}, author = {Alaküla, Anton Risberg and Hedin, Görel and Fors, Niklas and Pop, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/253b2720c87b6c4904ee62b5da302ad16/dblp}, ee = {https://doi.org/10.1016/j.jss.2024.111980}, interhash = {ce4ca6e518ec0371d6273a8c83b48973}, intrahash = {53b2720c87b6c4904ee62b5da302ad16}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = 111980, timestamp = {2024-06-24T07:18:44.000+0200}, title = {Property probes: Live exploration of program analysis results.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss211.html#AlakulaHFP24}, volume = 211, year = 2024 }