Author image not provided
 Marsha Marsha A Chećhik

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article9.41
Citation Count1,345
Publication count143
Publication years1994-2017
Available for download59
Average downloads per article265.56
Downloads (cumulative)15,668
Downloads (12 Months)936
Downloads (6 Weeks)139
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


149 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 149
Result page: 1 2 3 4 5 6 7 8

Sort by:

1 published by ACM
October 2018 SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 5,   Downloads (12 Months): 22,   Downloads (Overall): 22

Full text available: PDFPDF
Model-driven engineering advocates the use of models to describe and automate many software development tasks. The syntax of modelling languages is defined by meta-models, making them essential artefacts. A combination of product line engineering methods and meta-models has been proposed to enable specification of modelling language variants, e.g., to describe ...
Keywords: Meta-Modelling, Model Finding, Model-Driven Engineering, OCL, Product Lines

2 published by ACM
October 2018 MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 18,   Downloads (12 Months): 49,   Downloads (Overall): 49

Full text available: PDFPDF
Model transformations enable automation in Model-Driven Engineering (MDE) and are key to its success. The emphasis of MDE on using domain-specific languages has caused a proliferation of meta-models, many of them capturing variants of base languages. In this scenario, developing a transformation for a new meta-model is usually performed manually ...
Keywords: Model Transformations, Product Lines, Reusability

3 published by ACM
September 2018 ASE 2018: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 25,   Downloads (12 Months): 165,   Downloads (Overall): 165

Full text available: PDFPDF
Software is often built by integrating components created by different teams or even different organizations. With little understanding of changes in dependent components, it is challenging to maintain correctness and robustness of the entire system. In this paper, we investigate the effect of component changes on the behavior of their ...
Keywords: Software change, equivalence checking, symbolic execution

4 published by ACM
May 2018 ICSE '18: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 5,   Downloads (12 Months): 40,   Downloads (Overall): 40

Full text available: PDFPDF
Traditional commit-based sequential organization of software version histories is insufficient for many development tasks which require high-level, semantic understanding of program functionality, such as porting features or cutting new releases. Semantic history slicing is a technique which uses well-organized unit tests as identifiers for corresponding software functionalities and extracts a ...
Keywords: program semantics, software evolution, version histories

5
March 2018 Automated Software Engineering: Volume 25 Issue 1, March 2018
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0


6
March 2018 Journal of Automated Reasoning: Volume 60 Issue 3, March 2018
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

This is the artifact for the paper titled "POKER: Permutation-based SIMD Execution of Intensive Tree Search by Path Encoding" accepted at CGO 2018. This artifact helps reproduce the results presented in Figures 7 - 9 and Tables 2 - 3 in Section 4. For more information on how to use ...
Keywords: Interactive theorem proving, Deductive verification, Formal verification, Model checking

7 published by ACM
January 2018 ACM SIGSOFT Software Engineering Notes: Volume 42 Issue 4, October 2017
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 18,   Downloads (Overall): 44

Full text available: PDFPDF
MiSE 2017 was the 9th edition of the workshop on Modelling in Software Engineering, held on 21-22 May 2017 as a satellite event of the 39th International Conference on Software Engineer- ing (ICSE 2917), Buenos Aires, Argentina. The goal of this 2-day workshop was to bring together researchers and practitioners ...

8
January 2018 Formal Aspects of Computing: Volume 30 Issue 1, January 2018
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

Model transformation systems often contain transformation rules that are substantially similar to each other, causing maintenance issues and performance bottlenecks. To address these issues, we introduce variability-based model transformation. The key idea is to encode a set of similar rules into a compact representation, called variability-based rule. We provide an ...
Keywords: Variability, Category theory, Graph transformation, Model transformation

9
November 2017 CASCON '17: Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering
Publisher: IBM Corp.
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 23,   Downloads (Overall): 23

Full text available: PDFPDF
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services are being designed so that each partner discovers properties of others dynamically, through a published interface. Since the overall system may not be available statically and ...

10 published by ACM
September 2017 SPLC '17: Proceedings of the 21st International Systems and Software Product Line Conference - Volume A
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 0,   Downloads (12 Months): 22,   Downloads (Overall): 32

Full text available: PDFPDF
Feature location techniques aim to locate software artifacts that implement a specific program functionality, a.k.a. a feature. In this paper, we build upon the previous work of semantic history slicing to locate features in software version histories. We leverage the information embedded in version histories for identifying changes implementing features ...
Keywords: Feature location, feature relationship, version history

11 published by ACM
August 2017 FDG '17: Proceedings of the 12th International Conference on the Foundations of Digital Games
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1,   Downloads (12 Months): 13,   Downloads (Overall): 53

Full text available: PDFPDF
It is well-known that tasks imposing high cognitive load, i.e., the mental effort required to carry out a task, place a strain on people's ability to perform. In light of this, the present study investigates whether poor performance also occurs in human-computation games. That is, do players perform better in ...
Keywords: games with a purpose, serious games, human-computation games, game design, human computation, information visualization

12
May 2017 ICSE-C '17: Proceedings of the 39th International Conference on Software Engineering Companion
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0

Feature-oriented software development (FOSD) has recently emerged as a promising approach for developing a collection of similar software products from a shared set of software assets. A well-recognized issue in FOSD is the analysis of feature interactions : cases where the integration of multiple features would alter the behavior of ...

13
May 2017 MSR '17: Proceedings of the 14th International Conference on Mining Software Repositories
Publisher: IEEE Press
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 0,   Downloads (12 Months): 23,   Downloads (Overall): 69

Full text available: PDFPDF
Over the last few years, researchers proposed several semantic history slicing approaches that identify the set of semantically-related commits implementing a particular software functionality. However, there is no comprehensive benchmark for evaluating these approaches, making it difficult to assess their capabilities. This paper presents a dataset of 81 semantic change ...
Keywords: change history, benchmark, semantic history slicing

14 published by ACM
October 2016 MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 2,   Downloads (12 Months): 25,   Downloads (Overall): 88

Full text available: PDFPDF
Evolution in software systems is a necessary activity that occurs due to fixing bugs, adding functionality or improving system quality. Systems often need to be shown to comply with regulatory standards. Along with demonstrating compliance, an artifact, called an assurance case, is often produced to show that the system indeed ...
Keywords: certification, model management, regulatory compliance, reuse, assurance cases, evolution

15 published by ACM
August 2016 ASE 2016: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 3,   Downloads (12 Months): 25,   Downloads (Overall): 154

Full text available: PDFPDF
Semantic history slicing solves the problem of extracting changes related to a particular high-level functionality from the software version histories. State-of-the-art techniques combine static program analysis and dynamic execution tracing to infer an over-approximated set of changes that can preserve the functional behaviors captured by a test suite. However, due ...
Keywords: Semantic history slicing, dynamic invariants, program analysis, software configuration management

16
July 2016 Proceedings of the 9th International Conference on Theory and Practice of Model Transformations - Volume 9765
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

As model transformations become more complex and more central to software development, reuse mechanisms become more important to enable effective and efficient development of high-quality transformations. A number of transformation-reuse mechanisms have been proposed, but so far there have been no effective attempts at evaluating the quality of reuse that ...

17
June 2016 IFM 2016: Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

Model Transformations have been called the "heart and soul" of Model-Driven software development. However, they take a lot of effort to build, verify, analyze, and debug. It is thus imperative to develop good reuse strategies that address issues specific to model transformations. Some of the effective reuse strategies are adopted ...

18 published by ACM
May 2016 MiSE '16: Proceedings of the 8th International Workshop on Modeling in Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 1,   Downloads (12 Months): 15,   Downloads (Overall): 124

Full text available: PDFPDF
Software has come to mediate many of the activities in life, including financial service platforms, social networks and vehicle control. As a result, governing bodies have responded to this trend by creating standards and regulations to address issues such as safety and privacy. In this context, the compliance of software ...
Keywords: assurance cases, certification, model management, standards, regulatory compliance

19 published by ACM
May 2016 GAS '16: Proceedings of the 5th International Workshop on Games and Software Engineering
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3,   Downloads (12 Months): 14,   Downloads (Overall): 115

Full text available: PDFPDF
This paper describes the on-going work of developing a serious game (a.k.a "game with a purpose") to solve the NP-hard problem of n-way merging. We outline the challenges that were encountered while designing the game, steps that we took to overcome these challenges and results of the preliminary evaluation of ...
Keywords: model merging, N-way merge, NP-hard problems, serious games

20
April 2016 Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 9633
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

Unifying similar model transformation rules into variability-based ones can improve both the maintainability and the performance of a model transformation system. Yet, manual identification and unification of such similar rules is a tedious and error-prone task. In this paper, we propose a novel merge-refactoring approach for automating this task. The ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us