Dastani, Mehdi (ed.); Sirjani, Marjan (ed.) Fundamentals of software engineering. 7th international conference, FSEN 2017, Tehran, Iran, April 26–28, 2017. Revised selected papers. (English) Zbl 1374.68007 Lecture Notes in Computer Science 10522. Cham: Springer (ISBN 978-3-319-68971-5/pbk; 978-3-319-68972-2/ebook). x, 261 p. (2017). Show indexed articles as search result. The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1325.68015].Indexed articles:Accattoli, Beniamino; Guerrieri, Giulio, Implementing open call-by-value, 1-19 [Zbl 1498.68063]Barbon, Gianluca; Leroy, Vincent; Salaün, Gwen, Debugging of concurrent systems using counterexample analysis, 20-34 [Zbl 1498.68150]Bonchi, Filippo; Lee, Matias David; Rot, Jurriaan, Bisimilarity of open terms in stream GSOS, 35-50 [Zbl 1498.68152]Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin; Yu, Ingrid Chieh, Translating active objects into colored Petri nets for communication analysis, 84-99 [Zbl 1498.68067]Kühn, Eva, Flexible transactional coordination in the peer model, 116-131 [Zbl 1498.68189]Riahi, Shahrzad; Khosravi, Ramtin; Ghassemi, Fatemeh, Purpose-based policy enforcement in actor-based systems, 196-211 [Zbl 1498.68192]Timm, Nils; Gruner, Stefan; Sibanda, Prince, Model checking of concurrent software systems via heuristic-guided SAT solving, 244-259 [Zbl 1498.68174] Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Nxx Theory of software 68Qxx Theory of computing 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1325.68015 PDFBibTeX XMLCite \textit{M. Dastani} (ed.) and \textit{M. Sirjani} (ed.), Fundamentals of software engineering. 7th international conference, FSEN 2017, Tehran, Iran, April 26--28, 2017. Revised selected papers. Cham: Springer (2017; Zbl 1374.68007) Full Text: DOI