Titlebook: Evaluation of Novel Approaches to Software Engineering; 7th International Co Leszek A. Maciaszek,Joaquim Filipe Conference proceedings 2013

Awning

審問(wèn),審訊

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverageining mechanism to (1) extract precise guidance to direct dynamic symbolic execution towards exploring uncovered code elements and (2) meanwhile significantly optimize the path exploration process. Preliminary experiments conducted to evaluate the performance of the proposed approach have shown very encouraging results.

Accomplish

難管

tangle

explicit

Conference proceedings 2013g, ENASE 2012, held in Wroclaw, Poland, in June 2012. The 11 full papers presented were carefully reviewed and selected from 54 submissions. The papers cover various topics in software engineering and focus on the comparison of novel approaches with established traditional practices and by evaluatin

amplitude

Christian Gerthsen,Max Pollermannal models are considered: the graph-based model and the combinatorial model. The extensions enable a straightforward application of a wide range of existing algorithms. The paper also describes a system that implements chosen service selection algorithms together with appropriate extensions for interoperability analysis.

Outshine

Wolfgang Kornd?rfer,Leonhard Peezining event logs from non-process-aware systems. The event correlation algorithm is applied to the events dataset collected at runtime to discover the best correlation conditions. Event logs are then built using such conditions. The applicability of the proposal is demonstrated through a case study with a real-life system.

IRATE

https://doi.org/10.1007/978-3-663-14166-2roach to requirements-driven adaptation that gives the collective judgement of users, inferred from their individual feedback, a primary role in planning and guiding adaptation. We apply our approach on a case study and report on the results.

ascend