Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 18)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer International Publishing

9783030315160, 9783030315177

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Service Orchestration with Priority Constraints

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_14 ◽

2019 ◽

pp. 194-209

Author(s):

Behnaz Changizi ◽

Natallia Kokash ◽

Farhad Arbab

Keyword(s):

Service Orchestration

Download Full-text

An Approach to Generate Effective Fault Localization Methods for Programs

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_17 ◽

2019 ◽

pp. 244-259

Author(s):

Babak Bagheri ◽

Mohammad Rezaalipour ◽

Mojtaba Vahidi-Asl

Keyword(s):

Fault Localization

Download Full-text

Verification of Smart Contract Business Logic

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_16 ◽

2019 ◽

pp. 228-243 ◽

Author(s):

Wolfgang Ahrendt ◽

Richard Bubel ◽

Joshua Ellul ◽

Gordon J. Pace ◽

Raúl Pardo ◽

...

Keyword(s):

Business Logic ◽

Download Full-text

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_12 ◽

2019 ◽

pp. 179-185 ◽

Author(s):

Samira Akili ◽

Kim Völlinger

Keyword(s):

Distributed Algorithms

Download Full-text

Active Learning of Industrial Software with Data

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_7 ◽

2019 ◽

pp. 95-110

Author(s):

Lisette Sanchez ◽

Jan Friso Groote ◽

Ramon R. H. Schiffelers

Keyword(s):

Active Learning ◽

Industrial Software

Download Full-text

Verifying System-Wide Properties of Industrial Component-Based Software

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_11 ◽

2019 ◽

pp. 158-175 ◽

Author(s):

Thomas Neele ◽

Marijn Rol ◽

Jan Friso Groote

Download Full-text

An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_8 ◽

2019 ◽

pp. 111-126 ◽

Author(s):

Samad Paydar ◽

Aidin Azamnouri

Keyword(s):

Experimental Study ◽

Regression Test ◽

Download Full-text

Modeling Non-deterministic C Code with Active Objects

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_15 ◽

2019 ◽

pp. 213-227

Author(s):

Nathan Wasser ◽

Asmae Heydari Tabar ◽

Reiner Hähnle

Keyword(s):

Download Full-text

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_1 ◽

2019 ◽

pp. 3-19

Author(s):

Narges Khakpour ◽

Jetty Kleijn ◽

Marjan Sirjani

Keyword(s):

Adaptive Systems ◽

Formal Model ◽

Structural Adaptations ◽

Download Full-text

Logics for Petri Nets with Propagating Failures

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31517-7_10 ◽

2019 ◽

pp. 145-157

Author(s):

Leandro Gomes ◽

Alexandre Madeira ◽

Mario Benevides

Keyword(s):

Download Full-text