FoREnSiC– An Automatic Debugging Environment for C Programs-Reference-Cited by-同舟云学术

FoREnSiC– An Automatic Debugging Environment for C Programs

Published:2013 Issue: Volume: Page:260-265
ISSN:0302-9743
Container-title:Hardware and Software: Verification and Testing
language:
Short-container-title:

Author:

Bloem Roderick,Drechsler Rolf,Fey Görschwin,Finder Alexander,Hofferek Georg,Könighofer Robert,Raik Jaan,Repinski Urmas,Sülflow André

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39611-3_24

Reference16 articles.

1. Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: POPL, pp. 1–11. ACM (1988)

2. Barrett, C., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library, SMT-LIB (2010), http://www.SMT-LIB.org

3. Bloem, R., Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., Raik, J., Repinski, U., Sülflow, A.: FoREnSiC - A Formal Repair Environment for Simple C (2011), http://www.informatik.uni-bremen.de/agra/eng/forensic.php

4. Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. In: ASE, pp. 443–446. IEEE (2008)

5. Chang, K.-H., Markov, I.L., Bertacco, V.: Fixing design error with counterexamples and resynthesis. In: ASP-DAC, pp. 944–949. IEEE (2007)

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

1. Condition Synthesis Realizability via Constrained Horn Clauses;Lecture Notes in Computer Science;2023

2. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

3. Assume, guarantee or repair: a regular framework for non regular properties;International Journal on Software Tools for Technology Transfer;2022-09-29

4. Automated Program Repair Using Formal Verification Techniques;Lecture Notes in Computer Science;2022

5. Must Fault Localization for Program Repair;Computer Aided Verification;2020