Fingerprint
Dive into the research topics where Noam Rinetzky is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
Albert, E., Grossman, S., Rinetzky, N., Rodriguez-Nunez, C., Rubio, A. & Sagiv, M., 1 May 2023, In: IEEE Transactions on Dependable and Secure Computing. 20, 3, p. 2256-2273 18 p.Research output: Contribution to journal › Article › peer-review
-
State Merging with Quantifiers in Symbolic Execution
Trabish, D., Rinetzky, N., Shoham, S. & Sharma, V., 30 Nov 2023, ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). p. 1140-1152 13 p. (ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Runtime Complexity Bounds Using Squeezers
Ish-Shalom, O., Itzhaky, S., Rinetzky, N. & Shoham, S., 15 Jul 2022, In: ACM Transactions on Programming Languages and Systems. 44, 3, 17.Tel Aviv University, Technion - Israel Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
A bounded symbolic-size model for symbolic execution
Trabish, D., Itzhaky, S. & Rinetzky, N., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). p. 1190-1201 12 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).Tel Aviv University, Technion - Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Address-Aware Query Caching for Symbolic Execution
Trabish, D., Itzhaky, S. & Rinetzky, N., Apr 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021. Institute of Electrical and Electronics Engineers Inc., p. 116-126 11 p. 9438562. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021).Tel Aviv University, Technion - Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review