Compositional solution space quantification for probabilistic software analysis-Reference-Cited by-同舟云学术

Compositional solution space quantification for probabilistic software analysis

Published:2014-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Borges Mateus¹,Filieri Antonio²,d'Amorim Marcelo¹,Păsăreanu Corina S.³,Visser Willem⁴

Affiliation:

1. Federal University of Pernambuco, Brazil

2. University of Stuttgart, Germany

3. CMU SV/NASA Ames Research Center

4. University of Stellenbosch, South Africa

Funder

FACEPE

Division of Computing and Communication Foundations

Publisher

ACM

Link

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

Reference32 articles.

1. Mathematica NIntegrate 2013. http://reference.wolfram.com/mathematica/ref/NIntegrate.html. Mathematica NIntegrate 2013. http://reference.wolfram.com/mathematica/ref/NIntegrate.html.

2. VolComp 2013. http://systems.cs.colorado.edu/research/cyberphysical/probabilistic-program-analysis/. VolComp 2013. http://systems.cs.colorado.edu/research/cyberphysical/probabilistic-program-analysis/.

3. Toward open-world software: Issues and challenges

4. A generalization of p-boxes to affine arithmetic

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

1. The Formal Grounds for Construction for Intellimedia Automated System;2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS);2023-09-07

2. Automated quantized inference for probabilistic programs with AQUA;Innovations in Systems and Software Engineering;2022-01-20

3. 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

4. AQUA: Automated Quantized Inference for Probabilistic Programs;Automated Technology for Verification and Analysis;2021

5. Subdomain-based generality-aware debloating;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21