default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFSEN 2017: Tehran, Iran
- Mehdi Dastani, Marjan Sirjani:
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10522, Springer 2017, ISBN 978-3-319-68971-5 - Beniamino Accattoli, Giulio Guerrieri
:
Implementing Open Call-by-Value. 1-19 - Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Concurrent Systems Using Counterexample Analysis. 20-34 - Filippo Bonchi, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. 35-50 - Guillermina Cledou, José Proença, Luís Soares Barbosa:
Composing Families of Timed Automata. 51-66 - Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A Formal Model for Multi SPLs. 67-83 - Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu:
Translating Active Objects into Colored Petri Nets for Communication Analysis. 84-99 - Alex P. Klinkhamer, Ali Ebnenasir:
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. 100-115 - Eva Kühn:
Flexible Transactional Coordination in the Peer Model. 116-131 - Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri:
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. 132-147 - Ali Parsai, Alessandro Murgia, Serge Demeyer:
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems. 148-163 - Mahdi Houshmand, Samad Paydar:
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs. 164-179 - José Proença, Carlos Baquero:
Quality-Aware Reactive Programming for the Internet of Things. 180-195 - Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi:
Purpose-Based Policy Enforcement in Actor-Based Systems. 196-211 - Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan:
Automatic Transition System Model Identification for Network Applications from Packet Traces. 212-227 - Masoumeh Taromirad, Mohammad Reza Mousavi:
Gray-Box Conformance Testing for Symbolic Reactive State Machines. 228-243 - Nils Timm, Stefan Gruner, Prince Sibanda:
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. 244-259
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
