Search w/in this Title for Titles All Reviews
	ACM Transactions on Software Engineering and Methodology ACM Press         Options: Date Reviewed Title Author Publisher Published Date Descending Order Ascending Order     1-10 of 131 reviews Date Reviewed     Spectrum-based fault localization in model transformations Troya J., Segura S., Parejo J., Ruiz-Cortés A. ACM Transactions on Software Engineering and Methodology 27(3): 1-50, 2018.  Type: Article Model transformation is a recognized cornerstone in software engineering. Any nontrivial software system involves some kind of model transformation (for example, a large and heterogeneous system or an automotive system). Insuring that ... Jan 31 2019   STADS: software testing as species discovery Böhme M. ACM Transactions on Software Engineering and Methodology 27(2): 1-52, 2018.  Type: Article Software testing is an exercise in extrapolation--we attempt to infer the correctness of software by exercising it using test cases. However, as Dijkstra famously observed, testing demonstrates the presence of bugs, not their ... Jan 17 2019   Inferring extended probabilistic finite-state automaton models from software executions Emam S., Miller J. ACM Transactions on Software Engineering and Methodology 27(1): 1-39, 2018.  Type: Article To facilitate the testing and maintenance of software systems, researchers have generated behavioral models in the form of finite-state automata from software execution traces. Even though a finite-state automaton (FSA) is a common dyn... Oct 25 2018   Maintaining architecture-implementation conformance to support architecture centrality: from single system to product line development Zheng Y., Cu C., Taylor R. ACM Transactions on Software Engineering and Methodology 27(2): 1-52, 2018.  Type: Article Software architecture plays a vital role in the life cycle of a software product, whether you follow agile principles or not. Software architectures allow one to properly design a system and enable the evaluation of certain quality att... Sep 4 2018   Lightweight, obfuscation-resilient detection and family identification of Android malware Garcia J., Hammad M., Malek S. ACM Transactions on Software Engineering and Methodology 26(3): 1-29, 2018.  Type: Article Malware is undoubtedly one of the most real and potent threats in the smartphone industry. Android’s open ecosystem in terms of code as well as distribution channels is often credited as the primary reason for its popularity ... Jun 22 2018   Multi-criteria code refactoring using search-based software engineering: an industrial case study Ouni A., Kessentini M., Sahraoui H., Inoue K., Deb K. ACM Transactions on Software Engineering and Methodology 25(3): Article No. 23, 2016.  Type: Article According to the authors, code refactoring aims at “improving the design of existing code by changing its internal structure without [modifying] its external behavior.” The decisions of where the software should be ... May 11 2017   Understanding JavaScript event-based interactions with Clematis Alimadadi S., Sequeira S., Mesbah A., Pattabiraman K. ACM Transactions on Software Engineering and Methodology 25(2): 1-38, 2016.  Type: Article JavaScript development is not easy. Creating solid and reusable code is a very complex task, even for the skilled developer, due to the unique language features that positioned JavaScript in its high rank in front-end development. But ... Jul 14 2016   Control explicit--data symbolic model checking Bauch P., Havel V., Barnat J. ACM Transactions on Software Engineering and Methodology 25(2): 1-48, 2016.  Type: Article There is a recent trend toward the automation of the model checking and computer program verification process. The program or the model being verified and its verifiable property need to be restricted in the finite state spaces. The au... Jun 9 2016   Estimating semantic relatedness in source code Mahmoud A., Bradshaw G. ACM Transactions on Software Engineering and Methodology 25(1): 1-35, 2015.  Type: Article Analyzing existing source code to identify relationships between classes might be more accurate using the authors’ new method, normalized software distance, which is introduced, derived, and analyzed in this paper. Correctly ... Mar 9 2016   Automated support for reproducing and debugging field failures Jin W., Orso A. ACM Transactions on Software Engineering and Methodology 24(4): 1-35, 2015.  Type: Article Field failures are difficult to reproduce for debugging in-house. This paper applies a BugRedux technique to capture the essential execution data and to reproduce the failures. It then applies F3, a technique to conduct faul... Oct 26 2015       Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy