Abstract is missing.
- Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault InjectionKarl Meinke, Peter Nycander. 3-10 [doi]
- The Synergy Between User Experience Design and Software TestingA. P. van der Meer, R. Kherrazi, Neda Noroozi, A. Wierda. 11-21 [doi]
- Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time SystemsDaniel Homm, Jürgen Eckert 0001, Reinhard German. 22-31 [doi]
- Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test DesignAnna Zamansky, Eitan Farchi. 35-42 [doi]
- Behavioral Types for Component-Based Development of Cyber-Physical SystemsJan Olaf Blech, Peter Herrmann. 43-52 [doi]
- Refactoring Proofs with TacticianMark Adams. 53-67 [doi]
- Exploring the Role of Logic and Formal Methods in Information Systems EducationAnna Zamansky, Eitan Farchi. 68-74 [doi]
- GuideForce: Type-Based Enforcement of Programming GuidelinesSerdar Erbatur, Martin Hofmann. 75-89 [doi]
- Clustering Formulation Using Constraint OptimizationValerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi, Franco Turini. 93-107 [doi]
- Towards a Boosted Route Planner Using Individual Mobility ModelsRiccardo Guidotti, Paolo Cintia. 108-123 [doi]
- Design of a Business-to-Government Information Sharing Architecture Using Business RulesSélinde van Engelenburg, Marijn Janssen, Bram Klievink. 124-138 [doi]
- Process Mining as a Modelling Tool: Beyond the Domain of Business Process ManagementAntonio Cerone. 139-144 [doi]
- On Integrating Social and Sensor Networks for Emergency ManagementFarshad Shams, Antonio Cerone, Rocco De Nicola. 145-160 [doi]
- Quantitative Modelling of Residential Smart GridsVashti Galpin. 161-175 [doi]
- Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in PrimatesRoberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini. 176-191 [doi]
- Probabilistic Modelling and Analysis of a Fish PopulationChiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar Augusto Nieto Coria, Emanuela Merelli. 192-197 [doi]
- A Tool for the Modelling and Simulation of Ecological Systems Based on Grid SystemsSuryana Setiawan, Antonio Cerone, Paolo Milazzo. 198-212 [doi]
- Distributed Coordinated Adaptation of Cloud-Based ApplicationsLuciano Baresi, Sam Guinea, Giovanni Quattrocchi. 215-227 [doi]
- Fuzzy Description Logics for Component Selection in Software DesignTommaso Di Noia, Marina Mongiello, Umberto Straccia. 228-239 [doi]
- Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration PatternsAmleto Di Salle, Francesco Gallo, Alexander Perucci. 240-252 [doi]
- An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition ProbabilitiesKento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. 253-265 [doi]
- Towards Automatic Decision Support for Bike-Sharing System DesignMaurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink. 266-280 [doi]
- Automated Synthesis of Protocol Converters with BALM-IIGiovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko. 281-296 [doi]
- An Experimental Spatio-Temporal Model CheckerVincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink. 297-311 [doi]
- Dependable Composition of Software and Services in the Internet of Things: A Biological ApproachAmleto Di Salle, Francesco Gallo, Alexander Perucci. 312-323 [doi]