posted by organizer: saragonzalez || 1799 views || tracked by 5 users: [display]

COUFLESS 2015 : [Final Extended Deadline] 1st International Workshop on COmplex faUlts and Failures in LargE Software Systems at ICSE 2015


When May 23, 2015 - May 23, 2015
Where Firenze, Italy
Submission Deadline Feb 4, 2015
Notification Due Feb 20, 2015
Final Version Due Feb 27, 2015
Categories    software engineering   software architecture   reliability   formal methods

Call For Papers


COUFLESS: Complex faUlts and Failures in LargE Software Systems

May 23, 2015

Firenze, Italy

Co-located with the 37th International Conference on Software Engineering

ICSE 2015 (

Modern software systems ingest, process, and output information in quantities that would have been unthinkable only a few years ago. Not only has the volume of information being handled increased, it has also grown more complex, as have the applications - the many collaborating components of large, distributed applications may individually process information from diverse sources that must all be transformed and properly ordered to produce accurate and timely results. Many of the faults in these applications occur as a result of complex conditions that accrue within the applications and a significant time lag between fault activation and failure is due to error states that cross between the components of these applications and the databases. These faults, to which we refer as Mandelbugs, are difficult to isolate and the failures they are hard to reproduce. Then, Mandelbug characteristics are connected with the activation complexity or error propagation.

The theory of software debugging is stuck at the notion of a software system as a single program with input data. Debugging distributed components involves correlating messages that these components send to one another. Mandelbug debugging is difficult due to the lack of understanding of interactions among different components. Another ramification of the software increasing complexity is the request decomposition to improve the request response time. Under these complex environments, there is a large variability on the response time. This large variability is causing thousands of disruptions per second (scale of milliseconds) according to Google results. These types of phenomena can be also considered to Mandelbug-based anomalies.


Major topics of interest this year will include (but not limited):

· Applications of software maintenance technologies;

· Reliable software architectures and software engineering techniques;

· Middleware and Infrastructures for software support and maintenance;

· Reliability and debugging aspects of the computational models such as object-oriented, declarative (functional, logic, constraint), programming or their extensions with coordination capabilities;

· Formal aspects (semantics, reasoning, verification);

· Software artifact mining for maintenance and evolution;

· Evolution and reverse engineering;

· Refactoring to improve software reliability.

· Software fault location

· Software testing

· Latency tail tolerance systems

· Industrial points of view: experiences, applications, open issues;


Paper submissions: February 4, 2015 (extended)

Authors notification: February 20, 2015

Camera-ready copies: February 27, 2015


Mark Grechanik, University of Illinois at Chicago, USA

Javier Alonso, Universidad de Leon, Spain

Allen P. Nikora, Jet Propulsory Laboratory, USA


Alberto Avritzer, Siemens, USA

Padmalochan Bera, Indian Institute of Technology Bhubaneswar, India

Illir Gashi, City University London, UK

Gerard Holzmann, Jet Propulsory Laboratory, USA

Rick Kuhn, National Institute of Standards & Technology, USA

Vinay Kulkarni, Tata Consultancy Services, India

Jeff Offutt, George Mason University, USA

Roberto Pietrantuono, University of Naples Federico II, Italy

Adam Porter, University of Maryland at College Park, USA

Gregg Rothermel, University of Nebraska - Lincoln, USA

Nuno Silva, Critical Software, Portugal

A. Prasad Sistla, University of Illinois at Chicago, USA

Hongyu Zhang, Microsoft Research, China

Thomas Zimmermann, Microsoft Research, USA

Myron Hecht, SBCGlobal, USA

Mikael Lindvall, Fraunhofer, USA

Kalyan Vaidyanathan, Oracle Corporation, USA

Ugo Buy, University of Illinois at Chicago, USA

Michael Grottke, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany

Rivalino Matias, Federal University of Uberlandia, Brazil

Atif Memon, University of Maryland, USA

Dewayne E. Perry, University of Texas at Austin, USA

Ali Ebnenasir, Michigan Technological University, USA

Mohamed Kaaniche, LAAS-CNRS, France

HuaJie Lee, Dolby Laboratories, Australia


Authors from academia, industry and government are invited to submit high quality unpublished research work describing the results of theoretical and experimental research related to the topics addressed by the workshop. After rigorous review, all the accepted papers will be included in the IEEE Digital Library and ACM Digital Library. Paper submission must be in PDF format and use the correct IEEE Style file. All submissions will be done electronically through EasyChair (

We look forward to receiving your submission(s), and hope you will be able to join us.

Related Resources

COMPLEX NETWORKS 2016   The FIfth International Workshop on Complex Networks and their Applications
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
ESWC 2016   13th Extended Semantic Web Conference - Call for Papers
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
ESWC 2017   14th Extended Semantic Web Conference
IEEE TDSC Journal SI 2016   IEEE TDSC Special Issue on Data-Driven Dependability and Security
ICECCS 2016   21th International Conference on Engineering of Complex Computer Systems
NFM 2017   The 9th NASA Formal Methods Symposium
MLG 2016   12th International Workshop on Mining and Learning with Graphs
MARAMI 2016   Modèles et Analyse des Réseaux : Approches Mathématiques et Informatiques