Author:
Coen-Porisini A.,De Paoli F.,Ghezzi C.,Mandrioli D.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Analysis for Data Plane Programs Specialization;ACM Transactions on Architecture and Code Optimization;2022-11-17
2. Memory Partitioning in the Limit;International Journal of Parallel Programming;2015-10-26
3. Function Substitution: Towards Constraint Solving in Software Testing;2012 12th International Conference on Quality Software;2012-08
4. Value-Driven Creation of Functionality in Software Projects: Optimal Sequencing and Reuse;Production and Operations Management;2009-01-05
5. Symbolic execution of floating-point computations;Software Testing, Verification and Reliability;2006