Exact and approximate probabilistic symbolic execution for nondeterministic programs-Reference-Cited by-同舟云学术

Exact and approximate probabilistic symbolic execution for nondeterministic programs

Published:2014-09-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
language:
Short-container-title:

Author:

Luckow Kasper¹,Păsăreanu Corina S.²,Dwyer Matthew B.³,Filieri Antonio⁴,Visser Willem⁵

Affiliation:

1. Aalborg University, Aalborg, Denmark

2. CMU/NASA Ames Research Center, Mountain View, USA

3. University of Nebraska, Lincoln, USA

4. University of Stuttgart, Stuttgart, Germany

5. University of Stellenbosch, Stellenbosch, South Africa

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2642937.2643011

Reference40 articles.

1. A. Adje O. Bouissou J. Goubault-Larrecq E. Goubault and S. Putot . Static analysis of programs with imprecise probabilistic inputs. In E. Cohen and A. Rybalchenko editors Verified Software: Theories Tools Experiments volume 8164 of Lecture Notes in Computer Science pages 22 -- 47 . 2014 . A. Adje O. Bouissou J. Goubault-Larrecq E. Goubault and S. Putot. Static analysis of programs with imprecise probabilistic inputs. In E. Cohen and A. Rybalchenko editors Verified Software: Theories Tools Experiments volume 8164 of Lecture Notes in Computer Science pages 22--47. 2014.

2. C. Baier J.-P. Katoen etal Principles of model checking volume 26202649. MIT press Cambridge 2008. C. Baier J.-P. Katoen et al. Principles of model checking volume 26202649. MIT press Cambridge 2008.

3. A. Bianco and L. Alfaro . Model checking of probabilistic and nondeterministic systems. In P. Thiagarajan editor Foundations of Software Technology and Theoretical Computer Science volume 1026 of Lecture Notes in Computer Science pages 499 -- 513 . 1995 . A. Bianco and L. Alfaro. Model checking of probabilistic and nondeterministic systems. In P. Thiagarajan editor Foundations of Software Technology and Theoretical Computer Science volume 1026 of Lecture Notes in Computer Science pages 499--513. 1995.

4. J. Bogdoll L. Ferrer Fioriti A. Hartmanns and H. Hermanns . Partial order methods for statistical model checking and simulation. In R. Bruni and J. Dingel editors Formal Techniques for Distributed Systems volume 6722 of Lecture Notes in Computer Science pages 59 -- 74 . 2011 . J. Bogdoll L. Ferrer Fioriti A. Hartmanns and H. Hermanns. Partial order methods for statistical model checking and simulation. In R. Bruni and J. Dingel editors Formal Techniques for Distributed Systems volume 6722 of Lecture Notes in Computer Science pages 59--74. 2011.

5. J. Bogdoll A. Hartmanns and H. Hermanns . Simulation and statistical model checking for modestly nondeterministic models. In J. Schmitt editor Measurement Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance volume 7201 of Lecture Notes in Computer Science pages 249 -- 252 . 2012 . 10.1007/978-3-642-28540-0_20 J. Bogdoll A. Hartmanns and H. Hermanns. Simulation and statistical model checking for modestly nondeterministic models. In J. Schmitt editor Measurement Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance volume 7201 of Lecture Notes in Computer Science pages 249--252. 2012. 10.1007/978-3-642-28540-0_20

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic Execution for Quantum Error Correction Programs;Proceedings of the ACM on Programming Languages;2024-06-20

2. ETAP: Energy-aware Timing Analysis of Intermittent Programs;ACM Transactions on Embedded Computing Systems;2023-01-25

3. Symbolic Semantics for Probabilistic Programs;Quantitative Evaluation of Systems;2023

4. Efficient Answering of Historical What-if Queries;Proceedings of the 2022 International Conference on Management of Data;2022-06-10

5. Symbolic parallel adaptive importance sampling for probabilistic program analysis;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18