Author:
Borges Mateus,Phan Quoc-Sang,Filieri Antonio,Păsăreanu Corina S.
Publisher
Springer International Publishing
Reference31 articles.
1. ISSTAC: Integrated Symbolic Execution for Space-Time Analysis of Code. http://www.cmu.edu/silicon-valley/research/isstac
2. Backes, M., Kopf, B., Rybalchenko, A.: Automatic discovery and quantification of information leaks. In: SP 2009, pp. 141–153 (2009)
3. Bang, L., Aydin, A., Phan, Q.S., Păsăreanu, C.S., Bultan, T.: String analysis for side channels with segmented oracles. In: FSE 2016, pp. 193–204. ACM (2016)
4. Borges, M., Filieri, A., d’Amorim, M., Păsăreanu, C.S., Visser, W.: Compositional solution space quantification for probabilistic software analysis. In: PLDI, pp. 123–132. ACM (2014)
5. Brickenstein, M., Dreyer, A.: PolyBoRi: a framework for gröbner-basis computations with boolean polynomials. J. Symb. Comput. 44(9), 1326–1345 (2009)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic program performance analysis with confidence intervals;Information and Software Technology;2023-04
2. Quantifying permissiveness of access control policies;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. PReach;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
4. A Scalable Shannon Entropy Estimator;Computer Aided Verification;2022
5. Probabilistic Program Performance Analysis;2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA);2021-09