Author:
Barbon Gianluca,Leroy Vincent,Salaün Gwen
Publisher
Springer International Publishing
Reference24 articles.
1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)
2. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;A Beer,2015
4. Lecture Notes in Computer Science;MT Befrouei,2014
5. Bekkouche, M., Collavizza, H., Rueher, M.: LocFaults: a new flow-driven and constraint-based error localization approach. In: Proceedings of SAC 2015. ACM (2015)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating counterexamples in the form of unit tests from hoare-style verification attempts;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
2. Debugging of BPMN Processes Using Coloring Techniques;Formal Aspects of Component Software;2022
3. Debugging of Behavioural Models using Counterexample Analysis;IEEE Transactions on Software Engineering;2021-06-01
4. Clusters of Faulty States for Debugging Behavioural Models;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12
5. Visual Debugging of Behavioural Models;2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2019-05