Author:
Salva Sébastien,Blot Elliott
Publisher
Springer International Publishing
Reference34 articles.
1. Lecture Notes in Computer Science;A Ahmad,2016
2. Beschastnikh, I., Brun, Y., Abrahamson, J., Ernst, M.D., Krishnamurthy, A.: Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms. IEEE Trans. Softw. Eng. 41(4), 408–428 (2015). https://doi.org/10.1109/TSE.2014.2369047
3. Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A.: Inferring models of concurrent systems from logs of their behavior with Csight. In: Proceedings of the 36th International Conference on Software Engineering, pp. 468–479. ICSE 2014, ACM, New York, NY, USA (2014). https://doi.org/10.1145/2568225.2568246, http://doi.acm.org/10.1145/2568225.2568246
4. Lecture Notes in Computer Science;M van der Bijl,2004
5. Celik, Z.B., McDaniel, P., Tan, G.: Soteria: automated iot safety and security analysis. In: 2018 USENIX Annual Technical Conference (USENIX ATC 18), pp. 147–158. USENIX Association, Boston, MA (July 2018). https://www.usenix.org/conference/atc18/presentation/celik