Author:
Anielak Grzegorz,Jakacki Grzegorz,Lasota Sławomir
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference18 articles.
1. Angeletti, D., Giunchiglia, E., Narizzano, M., Puddu, A., Sabina, S.: Using bounded model checking for coverage analysis of safety-critical software in an industrial setting. J. Autom. Reason. 45(4), 397–414 (2010)
2. Anielak, G.: Sprawdzanie równoważności programów przy użyciu ograniczonej weryfikacji modelowej. Master’s thesis, University of Warsaw. (In Polish) (2012)
3. Ball, T.: A theory of predicate-complete test coverage and generation. In: FMCO, pp. 1–22 (2004)
4. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 118–149 (2003)
5. Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: K. Jensen, A. Podelski (eds.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), Lecture Notes in Computer Science, vol. 2988, pp. 168–176. Springer, Berlin (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cheating Detection Pipeline for Online Interviews;2021 29th Signal Processing and Communications Applications Conference (SIU);2021-06-09
2. ESBMC 6.1: automated test case generation using bounded model checking;International Journal on Software Tools for Technology Transfer;2020-05-18
3. Testing scratch programs automatically;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12