Author:
von Essen Christian,Jobstmann Barbara
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: Localizing errors in counterexample traces. In: POPL 2003, pp. 97–105 (January 2003)
2. Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: Enhancing model checking in verification by ai techniques. Artif. Intell. 112(1-2), 57–104 (1999)
3. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society 138, 295–311 (1969)
4. Chandra, S., Torlak, E., Barman, S., Bodik, R.: Angelic debugging. In: ICSE 2011, pp. 121–130. ACM, New York (2011)
5. Chang, K.H., Markov, I.L., Bertacco, V.: Fixing design errors with counterexamples and resynthesis. IEEE Trans. on CAD 27(1), 184–188 (2008)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatically Repairing Network Control Planes Using an Abstract Representation;Proceedings of the 26th Symposium on Operating Systems Principles;2017-10-14
2. Runtime Enforcement of Cyber-Physical Systems;ACM Transactions on Embedded Computing Systems;2017-10-10
3. Qlose: Program Repair with Quantitative Objectives;Computer Aided Verification;2016
4. Program Generation Using Simulated Annealing and Model Checking;Software Engineering and Formal Methods;2016
5. Program repair without regret;Formal Methods in System Design;2015-02-24