Most Influential ArXiv (Software Engineering) Papers (2024-10)
The field of Software Engineering in arXiv covers design tools, software metrics, testing and debugging, programming environments, etc. Roughly it includes material in all of ACM Subject Classes D.2, except that D.2.4 (program verification) should probably have Logics in Computer Science as the primary subject area. Paper Digest Team analyzes all papers published in this field in the past years, and presents up to 30 most influential papers for each year. This ranking list is automatically constructed based upon citations from both research papers and granted patents, and will be frequently updated to reflect the most recent changes. To find the latest version of this list or the most influential papers from other conferences/journals, please visit Best Paper Digest page. Note: the most influential papers may or may not include the papers that won the best paper awards. (Version: 2024-10).
This list is created by the Paper Digest Team. Experience the cutting-edge capabilities of Paper Digest, an innovative AI-powered research platform that empowers you to write, review, get answers and more.
Paper Digest Team
New York City, New York, 10017
team@paperdigest.org
TABLE 1: Most Influential ArXiv (Software Engineering) Papers (2024-10)
| Year | Rank | Paper | Author(s) |
|---|---|---|---|
| 2024 | 1 | StarCoder 2 and The Stack V2: The Next Generation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This results in a training set that is 4x larger than the first StarCoder dataset. We train StarCoder2 models with 3B, 7B, and 15B parameters on 3.3 to 4.3 trillion tokens and thoroughly evaluate them on a comprehensive set of Code LLM benchmarks. |
ANTON LOZHKOV et. al. |
| 2024 | 2 | Analyzing The Concept of Technical Debt in The Context of Agile Software Development: A Systematic Literature Review IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In recent years, it has gained significant attention in agile software development (ASD). The purpose of this study is to analyze and synthesize the state of the art of TD, and its causes, consequences, and management strategies in the context of ASD. |
Woubshet Nema Behutiye; Pilar Rodriguez; Markku Oivo; Ayse Tosun; |
| 2024 | 3 | BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this project, inspired by Defects4J, we create another benchmark database and tool that contain 493 real bugs from 17 real-world Python programs. |
RATNADIRA WIDYASARI et. al. |
| 2024 | 4 | EUDEVS: Executable UML with DEVS Theory of Modeling and Simulation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents an integrated approach towards crosstransformations between UML and DEVS using the proposed eUDEVS, which stands for executable UML based on DEVS. |
José L. Risco-Martín; J. M. Cruz; Saurabh Mittal; Bernard P. Zeigler; |
| 2024 | 5 | OpenCodeInterpreter: Integrating Code Generation with Execution and Refinement IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: However, open-source models often lack the execution capabilities and iterative refinement of advanced systems like the GPT-4 Code Interpreter. To address this, we introduce OpenCodeInterpreter, a family of open-source code systems designed for generating, executing, and iteratively refining code. |
TIANYU ZHENG et. al. |
| 2024 | 6 | SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We investigate how interface design affects the performance of language model agents. As a result of this exploration, we introduce SWE-agent: a system that facilitates LM agents to autonomously use computers to solve software engineering tasks. |
JOHN YANG et. al. |
| 2024 | 7 | LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, we propose LiveCodeBench, a comprehensive and contamination-free evaluation of LLMs for code, which continuously collects new problems over time from contests across three competition platforms, namely LeetCode, AtCoder, and CodeForces. |
NAMAN JAIN et. al. |
| 2024 | 8 | A Microservice Architecture for Real-time IoT Data Processing: A Reusable Web of Things Approach for Smart Ports IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a fully reusable microservice architecture, standardized through the use of the Web of things paradigm, and with high efficiency in real-time data processing, supported by complex event processing techniques. |
GUADALUPE ORTIZ et. al. |
| 2024 | 9 | ASAP (Automatic Software for ASL Processing): A Toolbox for Processing Arterial Spin Labeling Images IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The software is easy to operate and results in excellent quality of spatial normalisation. The results found in this evaluation study are consistent with previous studies that find decreased perfusion |
Virginia Mato Abad; Pablo Garcia-Polo; Owen ODaly; Juan Antonio Hernandez-Tamames; Fernando Zelaya; |
| 2024 | 10 | Interactive Multi-Objective Evolutionary Optimization of Software Architectures IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: An interactive approach is proposed to discover software architectures, in which both quantitative and qualitative criteria are applied to guide a multi-objective evolutionary algorithm. |
Aurora Ramírez; José Raúl Romero; Sebastián Ventura; |
| 2024 | 11 | The AI Community Building The Future? A Quantitative Analysis of Development Activity on Hugging Face Hub IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Open model developers have emerged as key actors in the political economy of artificial intelligence (AI), but we still have a limited understanding of collaborative practices in the open AI ecosystem. This paper responds to this gap with a three-part quantitative analysis of development activity on the Hugging Face (HF) Hub, a popular platform for building, sharing, and demonstrating models. |
Cailean Osborne; Jennifer Ding; Hannah Rose Kirk; |
| 2024 | 12 | CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present CRUXEval (Code Reasoning, Understanding, and eXecution Evaluation), a benchmark consisting of 800 Python functions (3-13 lines). |
ALEX GU et. al. |
| 2024 | 13 | Exploring and Evaluating Hallucinations in LLM-Powered Code Generation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Based on the results, we proposed HalluCode, a benchmark for evaluating the performance of code LLMs in recognizing hallucinations. |
FANG LIU et. al. |
| 2024 | 14 | Improving Device-aware Web Services and Their Mobile Clients Through An Aspect-oriented, Model-driven Approach IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Objective: In this paper, we provide an approach for the creation of flexible Web services which can be invoked transparently from different device types and which return subsequent responses, as well as providing the client’s adaptation as a result of the particular device characteristics and end-user preferences in a completely decoupled way. |
Guadalupe Ortiz; Alfonso Garcia-de-Prado; |
| 2023 | 1 | Is Your Code Generated By ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Such limitation in the existing benchmarks begs the following question: In the era of LLMs, is the code generated really correct? To answer this, we propose EvalPlus — a code synthesis evaluation framework to rigorously benchmark the functional correctness of LLM-synthesized code. |
Jiawei Liu; Chunqiu Steven Xia; Yuyao Wang; Lingming Zhang; |
| 2023 | 2 | Software Development in Startup Companies: A Systematic Mapping Study IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Objective: This study aims to structure and analyze the literature on software development in startup companies, determining thereby the potential for technology transfer and identifying software development work practices reported by practitioners and researchers. |
Nicolò Paternoster; Carmine Giardino; Michael Unterkalmsteiner; Tony Gorschek; Pekka Abrahamsson; |
| 2023 | 3 | Jailbreaking ChatGPT Via Prompt Engineering: An Empirical Study IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: The study underscores the importance of prompt structures in jailbreaking LLMs and discusses the challenges of robust jailbreak prompt generation and prevention. |
YI LIU et. al. |
| 2023 | 4 | An Analysis of The Automatic Bug Fixing Performance of ChatGPT IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The bug fixing performance of ChatGPT, however, is so far unclear. Therefore, in this paper we evaluate ChatGPT on the standard bug fixing benchmark set, QuixBugs, and compare the performance with the results of several other approaches reported in the literature. |
Dominik Sobania; Martin Briesch; Carol Hanna; Justyna Petke; |
| 2023 | 5 | The Impact of AI on Developer Productivity: Evidence from GitHub Copilot IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents results from a controlled experiment with GitHub Copilot, an AI pair programmer. |
Sida Peng; Eirini Kalliamvakou; Peter Cihon; Mert Demirer; |
| 2023 | 6 | Software Development in Startup Companies: The Greenfield Startup Model IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this study we aim to improve understanding of the software development strategies employed by startups. |
Carmine Giardino; Nicolò Paternoster; Michael Unterkalmsteiner; Tony Gorschek; Pekka Abrahamsson; |
| 2023 | 7 | Self-collaboration Code Generation Via ChatGPT IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In real-world software development, humans usually tackle complex tasks through collaborative teamwork, a strategy that significantly controls development complexity and enhances software quality. Inspired by this, we present a self-collaboration framework for code generation employing LLMs, exemplified by ChatGPT. |
Yihong Dong; Xue Jiang; Zhi Jin; Ge Li; |
| 2023 | 8 | SantaCoder: Don’t Reach for The Stars! IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: The BigCode project is an open-scientific collaboration working on the responsible development of large language models for code. This tech report describes the progress of the collaboration until December 2022, outlining the current state of the Personally Identifiable Information (PII) redaction pipeline, the experiments conducted to de-risk the model architecture, and the experiments investigating better preprocessing methods for the training data. |
LOUBNA BEN ALLAL et. al. |
| 2023 | 9 | Large Language Models for Software Engineering: A Systematic Literature Review IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In RQ2, we analyze the methods used in data collection, preprocessing, and application, highlighting the role of well-curated datasets for successful LLM for SE implementation. |
XINYI HOU et. al. |
| 2023 | 10 | Impact of Code Language Models on Automated Program Repair IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Fourthly, this work studies the impact of buggy lines, showing that CLMs, as is, cannot make good use of the buggy lines to fix bugs, yet fine-tuned CLMs could potentially over-rely on buggy lines. |
Nan Jiang; Kevin Liu; Thibaud Lutellier; Lin Tan; |
| 2023 | 11 | ChatGPT and Software Testing Education: Promises & Perils IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: As such, in this paper, we examine how well ChatGPT performs when tasked with answering common questions in a popular software testing curriculum. |
Sajed Jalil; Suzzana Rafi; Thomas D. LaToza; Kevin Moran; Wing Lam; |
| 2023 | 12 | Keep The Conversation Going: Fixing 162 Out of 337 Bugs for $0.42 Each Using ChatGPT IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This not only leads to many repeated patches that are incorrect but also miss the crucial information in test failures as well as in plausible patches. To address these limitations, we propose ChatRepair, the first fully automated conversation-driven APR approach that interleaves patch generation with instant feedback to perform APR in a conversational style. |
Chunqiu Steven Xia; Lingming Zhang; |
| 2023 | 13 | Software Testing with Large Language Models: Survey, Landscape, and Vision IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The paper presents a detailed discussion of the software testing tasks for which LLMs are commonly used, among which test case preparation and program repair are the most representative. |
JUNJIE WANG et. al. |
| 2023 | 14 | Challenges and Practices in Aligning Requirements with Verification and Validation: A Case Study of Six Companies IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We have performed a multi-unit case study to gain insight into issues around aligning RE and VV by interviewing 30 practitioners from 6 software developing companies, involving 10 researchers in a flexible research process for case studies. |
ELIZABETH BJARNASON et. al. |
| 2023 | 15 | Successful Combination of Database Search and Snowballing for Identification of Primary Studies in Systematic Literature Studies IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Objective: Our main objective was to compare and evaluate a hybrid search strategy. |
Claes Wohlin; Marcos Kalinowski; Katia Romero Felizardo; Emilia Mendes; |
| 2023 | 16 | An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper presents a large-scale empirical evaluation on the effectiveness of LLMs for automated unit test generation without additional training or manual effort, providing the LLM with the signature and implementation of the function under test, along with usage examples extracted from documentation. |
Max Schäfer; Sarah Nadi; Aryaz Eghbali; Frank Tip; |
| 2023 | 17 | CBMC: The C Bounded Model Checker IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This chapter will give an introduction into CBMC, including practical examples and pointers to further reading. |
Daniel Kroening; Peter Schrammel; Michael Tautschnig; |
| 2023 | 18 | Large Language Models for Software Engineering: Survey and Open Problems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper provides a survey of the emerging area of Large Language Models (LLMs) for Software Engineering (SE). |
ANGELA FAN et. al. |
| 2023 | 19 | InferFix: End-to-End Program Repair with LLMs IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose InferFix: a transformer-based program repair framework paired with a state-of-the-art static analyzer to fix critical security and performance bugs. |
MATTHEW JIN et. al. |
| 2023 | 20 | Software Engineering in Start-up Companies: An Analysis of 88 Experience Reports IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Objective: In this study we investigate how software engineering is applied in start-up context with a focus to identify key knowledge areas and opportunities for further research. |
Eriks Klotins; Michael Unterkalmsteiner; Tony Gorschek; |
| 2023 | 21 | No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Our findings indicate that generating unit tests with ChatGPT could be very promising if the correctness of its generated tests could be further improved. Inspired by our findings above, we propose ChatTESTER, a novel ChatGPT-based unit test generation approach, which leverages ChatGPT itself to improve the quality of its generated tests. |
ZHIQIANG YUAN et. al. |
| 2023 | 22 | An Empirical Study of The Non-determinism of ChatGPT in Code Generation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: When non-determinism is high, scientific conclusions simply cannot be relied upon unless researchers change their behaviour to control for it in their empirical analyses. This paper conducts an empirical study to demonstrate that non-determinism is, indeed, high, thereby underlining the need for this behavioural change. |
Shuyin Ouyang; Jie M. Zhang; Mark Harman; Meng Wang; |
| 2023 | 23 | Self-Edit: Fault-Aware Code Editor for Code Generation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Inspired by the process of human programming, we propose a generate-and-edit approach named Self-Edit that utilizes execution results of the generated code from LLMs to improve the code quality on the competitive programming task. |
Kechi Zhang; Zhuo Li; Jia Li; Ge Li; Zhi Jin; |
| 2023 | 24 | A Taxonomy for Requirements Engineering and Software Test Alignment IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Nevertheless, their interactions have been sparsely explored beyond the concept of traceability. To fill this gap, we propose a definition of requirements engineering and software test (REST) alignment, a taxonomy that characterizes the methods linking the respective areas, and a process to assess alignment. |
Michael Unterkalmsteiner; Robert Feldt; Tony Gorschek; |
| 2023 | 25 | Evaluating The Code Quality of AI-Assisted Code Generation Tools: An Empirical Study on GitHub Copilot, Amazon CodeWhisperer, and ChatGPT IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Notable examples of these tools include GitHub Copilot, Amazon CodeWhisperer, and OpenAI’s ChatGPT. Objective: This study aims to compare the performance of these prominent code generation tools in terms of code quality metrics, such as Code Validity, Code Correctness, Code Security, Code Reliability, and Code Maintainability, to identify their strengths and shortcomings. |
Burak Yetiştiren; Işık Özsoy; Miray Ayerdem; Eray Tüzün; |
| 2023 | 26 | A Survey of Learning-based Automated Program Repair IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we provide a systematic survey to summarize the current state-of-the-art research in the learning-based APR community. |
Quanjun Zhang; Chunrong Fang; Yuxiang Ma; Weisong Sun; Zhenyu Chen; |
| 2023 | 27 | On The Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper we present an empirical study in which we aim at understanding whether different but semantically equivalent natural language descriptions result in the same recommended function. |
ANTONIO MASTROPAOLO et. al. |
| 2023 | 28 | Copiloting The Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This results in plenty of statically invalid generated patches, impeding the practicality of the technique. Therefore, we propose Repilot, a general code generation framework to further copilot the AI copilots (i.e., LLMs) by synthesizing more valid patches during the repair process. |
Yuxiang Wei; Chunqiu Steven Xia; Lingming Zhang; |
| 2023 | 29 | Software Engineering Knowledge Areas in Startup Companies: A Mapping Study IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Method – We perform a systematic literature mapping study, applying snowball sampling to identify relevant primary studies. |
Eriks Klotins; Michael Unterkalmsteiner; Tony Gorschek; |
| 2023 | 30 | Improving Code Generation By Training with Natural Language Feedback IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: The potential for pre-trained large language models (LLMs) to use natural language feedback at inference time has been an exciting recent development. We build upon this observation by formalizing an algorithm for learning from natural language feedback at training time instead, which we call Imitation learning from Language Feedback (ILF). |
ANGELICA CHEN et. al. |
| 2022 | 1 | InCoder: A Generative Model for Code Infilling and Synthesis IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We introduce InCoder, a unified generative model that can perform program synthesis (via left-to-right generation) as well as editing (via infilling). |
DANIEL FRIED et. al. |
| 2022 | 2 | Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article explores the natural language generation capabilities of large language models with application to the production of two types of learning resources common in programming courses. |
Sami Sarsa; Paul Denny; Arto Hellas; Juho Leinonen; |
| 2022 | 3 | GitHub Copilot AI Pair Programmer: Asset or Liability? IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we study the capabilities of Copilot in two different programming tasks: (i) generating (and reproducing) correct and efficient solutions for fundamental algorithmic problems, and (ii) comparing Copilot’s proposed solutions with those of human programmers on a set of programming tasks. |
ARGHAVAN MORADI DAKHEL et. al. |
| 2022 | 4 | Few-shot Training LLMs for Project-specific Code-summarization IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we investigate the use few-shot training with the very large GPT (Generative Pre-trained Transformer) Codex model, and find evidence suggesting that one can significantly surpass state-of-the-art models for code-summarization, leveraging project-specific training. |
Toufique Ahmed; Premkumar Devanbu; |
| 2022 | 5 | Productivity Assessment of Neural Code Completion IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Commercial products aim to increase programmers’ productivity, without being able to measure it directly. In this case study, we asked users of GitHub Copilot about its impact on their productivity, and sought to find a reflection of their perception in directly measurable user data. |
ALBERT ZIEGLER et. al. |
| 2022 | 6 | Less Training, More Repairing Please: Revisiting Automated Program Repair Via Zero-shot Learning IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Furthermore, the edit variety of these learning-based techniques are limited to the available bug-fixes within their training datasets. Therefore, in this paper, we aim to revisit the learning-based APR problem, and propose AlphaRepair, to leverage zero-shot learning directly using large pre-trained code models for APR. |
Chunqiu Steven Xia; Lingming Zhang; |
| 2022 | 7 | Experiences from Using Code Explanations Generated By Large Language Models in A Web Software Development E-Book IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: However, it is unclear whether and how students might engage with such explanations. In this paper, we report on our experiences generating multiple code explanation types using LLMs and integrating them into an interactive e-book on web software development. |
STEPHEN MACNEIL et. al. |
| 2022 | 8 | Log-based Anomaly Detection with Deep Learning: How Far Are We? IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To achieve a profound understanding of how far we are from solving the problem of log-based anomaly detection, in this paper, we conduct an in-depth analysis of five state-of-the-art deep learning-based models for detecting system anomalies on four public log datasets. |
Van-Hoang Le; Hongyu Zhang; |
| 2022 | 9 | Large Language Models Meet NL2Code: A Survey IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Thanks to the rapid development of pre-training techniques, surging large language models are being proposed for code, sparking the advances in NL2Code. |
DAOGUANG ZAN et. al. |
| 2022 | 10 | Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries Via Large Language Models IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Meanwhile, traditional fuzzing techniques can be hardly effective for such a challenging domain since the input DL programs need to satisfy both the input language (e.g., Python) syntax/semantics and the DL API input/shape constraints for tensor computations. To address these limitations, we propose TitanFuzz – the first approach to directly leveraging Large Language Models (LLMs) to generate input programs for fuzzing DL libraries. |
Yinlin Deng; Chunqiu Steven Xia; Haoran Peng; Chenyuan Yang; Lingming Zhang; |
| 2022 | 11 | Large Language Models Are Few-shot Testers: Exploring LLM-based General Bug Reproduction IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To automate test generation from general bug reports, we propose LIBRO, a framework that uses Large Language Models (LLMs), which have been shown to be capable of performing code-related tasks. |
Sungmin Kang; Juyeon Yoon; Shin Yoo; |
| 2022 | 12 | Natural Attack for Pre-trained Models of Code IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose ALERT (nAturaLnEss AwaRe ATtack), a black-box attack that adversarially transforms inputs to make victim models produce wrong outputs. |
Zhou Yang; Jieke Shi; Junda He; David Lo; |
| 2022 | 13 | ReACC: A Retrieval-Augmented Code Completion Framework IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Specifically, we propose a retrieval-augmented code completion framework, leveraging both lexical copying and referring to code with similar semantics by retrieval. |
SHUAI LU et. al. |
| 2022 | 14 | No More Fine-Tuning? An Experimental Evaluation of Prompt Tuning in Code Intelligence IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we empirically evaluate the usage and effect of prompt tuning in code intelligence tasks. |
CHAOZHENG WANG et. al. |
| 2022 | 15 | IoT Anomaly Detection Methods and Applications: A Survey IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The survey considers 64 papers among recent publications published between January 2019 and July 2021. |
Ayan Chatterjee; Bestoun S. Ahmed; |
| 2022 | 16 | Work-From-Home Is Here to Stay: Call for Flexibility in Post-Pandemic Work Policies IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this article, we gather experiences from 17 companies and their sites, covering 12 countries. |
Darja Smite; Nils Brede Moe; Jarle Hildrum; Javier Gonzalez Huerta; Daniel Mendez; |
| 2022 | 17 | Using Pre-Trained Models to Boost Code Review Automation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We recently proposed Deep Learning (DL) models targeting the automation of two tasks: the first model takes as input a code submitted for review and implements in it changes likely to be recommended by a reviewer; the second takes as input the submitted code and a reviewer comment posted in natural language and automatically implements the change required by the reviewer. |
ROSALIA TUFANO et. al. |
| 2022 | 18 | Repair Is Nearly Generation: Multilingual Program Repair with LLMs IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We introduce RING, a multilingual repair engine powered by a large language model trained on code (LLMC) such as Codex. |
HARSHIT JOSHI et. al. |
| 2022 | 19 | SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Moreover, to learn the natural language description of source code needed eventually for code-related tasks such as code summarization, existing pre-training tasks require a bilingual corpus composed of source code and the associated natural language description, which severely limits the amount of data for pre-training. To this end, we propose SPT-Code, a sequence-to-sequence pre-trained model for source code. |
CHANGAN NIU et. al. |
| 2022 | 20 | CERT: Continual Pre-Training on Sketches for Library-Oriented Code Generation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we investigate how to leverage an unlabelled code corpus to train a model for library-oriented code generation. |
DAOGUANG ZAN et. al. |
| 2022 | 21 | Semantic Similarity Metrics for Evaluating Source Code Summarization IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we conduct an experiment to measure the degree to which various word overlap metrics correlate to human-rated similarity of predicted and reference summaries. |
Sakib Haque; Zachary Eberhart; Aakash Bansal; Collin McMillan; |
| 2022 | 22 | Automating Code Review Activities By Large-Scale Pre-training IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this research, we focus on utilizing pre-training techniques for the tasks in the code review scenario. |
ZHIYU LI et. al. |
| 2022 | 23 | Automated Repair of Programs from Large Language Models IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we systematically study whether automated program repair (APR) techniques can fix the incorrect solutions produced by language models in LeetCode contests. |
Zhiyu Fan; Xiang Gao; Martin Mirchev; Abhik Roychoudhury; Shin Hwei Tan; |
| 2022 | 24 | CodeFill: Multi-token Code Completion By Jointly Learning from Structure and Naming Sequences IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this work, we present CodeFill, a language model for autocompletion that combines learned structure and naming information. |
Maliheh Izadi; Roberta Gismondi; Georgios Gousios; |
| 2022 | 25 | CoditT5: Pretraining for Source Code and Natural Language Editing IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Pretrained language models have been shown to be effective in many software-related generation tasks; however, they are not well-suited for editing tasks as they are not designed to reason about edits. To address this, we propose a novel pretraining objective which explicitly models edits and use it to build CoditT5, a large language model for software-related editing tasks that is pretrained on large amounts of source code and natural language comments. |
Jiyang Zhang; Sheena Panthaplackel; Pengyu Nie; Junyi Jessy Li; Milos Gligoric; |
| 2022 | 26 | UniParser: A Unified Log Parser for Heterogeneous Log Data IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose UniParser to capture the common logging behaviours from heterogeneous log data. |
YUDONG LIU et. al. |
| 2022 | 27 | Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose FreeFuzz, the first approach to fuzzing DL libraries via mining from open source. |
Anjiang Wei; Yinlin Deng; Chenyuan Yang; Lingming Zhang; |
| 2022 | 28 | DEAR: A Novel Deep Learning-based Approach for Automated Program Repair IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: % We present {\tool}, a DL-based approach that supports fixing for the general bugs that require dependent changes at once to one or multiple consecutive statements in one or multiple hunks of code. |
Yi Li; Shaohua Wang; Tien N. Nguyen; |
| 2022 | 29 | Fill in The Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Inspired by the fact that the pre-trained Large Language Model (LLM) has made outstanding progress in text generation, we propose an approach named QTypist based on LLM for intelligently generating semantic input text according to the GUI context. |
ZHE LIU et. al. |
| 2022 | 30 | Reading Between The Lines: Modeling User Behavior and Costs in AI-Assisted Programming IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Our insights reveal how programmers interact with Copilot and motivate new interface designs and metrics. |
Hussein Mozannar; Gagan Bansal; Adam Fourney; Eric Horvitz; |
| 2021 | 1 | CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation IF:8 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we introduce CodeXGLUE, a benchmark dataset to foster machine learning research for program understanding and generation. |
SHUAI LU et. al. |
| 2021 | 2 | Measuring Coding Challenge Competence With APPS IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To meet this challenge, we introduce APPS, a benchmark for code generation. |
DAN HENDRYCKS et. al. |
| 2021 | 3 | Evaluating Prediction Systems in Software Project Estimation IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Method: A new framework is proposed for evaluating competing prediction systems based upon (1) an unbiased statistic, Standardised Accuracy, (2) testing the result likelihood relative to the baseline technique of random ‘predictions’, that is guessing, and (3) calculation of effect sizes. |
Martin Shepperd; Stephen G. MacDonell; |
| 2021 | 4 | CURE: Code-Aware Neural Machine Translation for Automatic Program Repair IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We propose CURE, a new NMT-based APR technique with three major novelties. |
Nan Jiang; Thibaud Lutellier; Lin Tan; |
| 2021 | 5 | Factors That Affect Software Systems Development Project Outcomes: A Survey of Research IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: On the basis of this survey we present a new classification framework that represents an abstracted and synthesized view of the types of factors that have been asserted as influencing project outcomes. |
Laurie McLeod; Stephen G. MacDonell; |
| 2021 | 6 | Elixir: Effective Object-oriented Program Repair IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose a generate-and-validate repair technique, called ELIXIR designed to be able to generate such patches. |
Ripon K. Saha; Yingjun Lyu; Hiroaki Yoshida; Mukul R. Prasad; |
| 2021 | 7 | CodeNet: A Large-Scale AI for Code Dataset for Learning A Diversity of Coding Tasks IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we present a large-scale dataset CodeNet, consisting of over 14 million code samples and about 500 million lines of code in 55 different programming languages, which is aimed at teaching AI to code. |
RUCHIR PURI et. al. |
| 2021 | 8 | A Syntax-Guided Edit Decoder for Neural Program Repair IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose Recoder, a syntax-guided edit decoder with placeholder generation. |
QIHAO ZHU et. al. |
| 2021 | 9 | Studying The Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we empirically investigate how the T5 model performs when pre-trained and fine-tuned to support code-related tasks. |
ANTONIO MASTROPAOLO et. al. |
| 2021 | 10 | Jigsaw: Large Language Models Meet Program Synthesis IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we present an approach to augment these large language models with post-processing steps based on program analysis and synthesis techniques, that understand the syntax and semantics of programs. |
NAMAN JAIN et. al. |
| 2021 | 11 | Software Engineering for AI-Based Systems: A Survey IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We identified multiple SE approaches for AI-based systems, which we classified according to the SWEBOK areas. |
SILVERIO MARTÍNEZ-FERNÁNDEZ et. al. |
| 2021 | 12 | Log-based Anomaly Detection Without Log Parsing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To address the limitations of existing methods, we propose NeuralLog, a novel log-based anomaly detection approach that does not require log parsing. |
Van-Hoang Le; Hongyu Zhang; |
| 2021 | 13 | Neural Program Repair with Execution-based Backpropagation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose a novel program repair model called RewardRepair. |
He Ye; Matias Martinez; Martin Monperrus; |
| 2021 | 14 | Retrieval Augmented Code Generation and Summarization IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To mimic developers’ code or summary generation behavior, we propose a retrieval augmented framework, REDCODER, that retrieves relevant code or summaries from a retrieval database and provides them as a supplement to code generation or summarization models. |
Md Rizwan Parvez; Wasi Uddin Ahmad; Saikat Chakraborty; Baishakhi Ray; Kai-Wei Chang; |
| 2021 | 15 | Who Needs MLOps: What Data Scientists Seek to Accomplish and How Can MLOps Help? IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we study the importance of MLOps in the context of data scientists’ daily activities, based on a survey where we collected responses from 331 professionals from 63 different countries in ML domain, indicating on what they were working on in the last three months. |
Sasu Mäkinen; Henrik Skogström; Eero Laaksonen; Tommi Mikkonen; |
| 2021 | 16 | Applying CodeBERT for Automated Program Repair of Java Simple Bugs IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose a novel automated program repair approach based on CodeBERT, which is a transformer-based neural architecture pre-trained on large corpus of source code. |
Ehsan Mashhadi; Hadi Hemmati; |
| 2021 | 17 | In-IDE Code Generation from Natural Language: Promise and Challenges IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Analysis identifies several pain points that could improve the effectiveness of future machine learning based code generation/retrieval developer assistants, and demonstrates when developers prefer code generation over code retrieval and vice versa. We release all data and software to pave the road for future empirical studies and development of better models. |
Frank F. Xu; Bogdan Vasilescu; Graham Neubig; |
| 2021 | 18 | Towards Automating Code Review Activities IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Our goal is to make the first step towards partially automating the code review process, thus, possibly reducing the manual costs associated with it. |
Rosalia Tufano; Luca Pascarella; Michele Tufano; Denys Poshyvanyk; Gabriele Bavota; |
| 2021 | 19 | Collaboration Challenges in Building ML-Enabled Systems: Communication, Documentation, Engineering, and Process IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Through interviews with 45 practitioners from 28 organizations, we identified key collaboration challenges that teams face when building and deploying ML systems into production. |
Nadia Nahar; Shurui Zhou; Grace Lewis; Christian Kästner; |
| 2021 | 20 | D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We propose D2A, a differential analysis based approach to label issues reported by static analysis tools. |
YUNHUI ZHENG et. al. |
| 2021 | 21 | Sampling Projects in GitHub for MSR Studies IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To support researchers in sampling projects from GitHub, we present GHS (GitHub Search), a dataset containing 25 characteristics (e.g., number of commits, license, etc.) of 735,669 repositories written in 10 programming languages. |
Ozren Dabic; Emad Aghajani; Gabriele Bavota; |
| 2021 | 22 | A Baseline Model for Software Effort Estimation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article proposes an automatically transformed linear model (ATLM) as a suitable baseline model for comparison against SEE methods. |
Peter A. Whigham; Caitlin A. Owen; Stephen G. MacDonell; |
| 2021 | 23 | Traceability Transformed: Generating More Accurate Links with Pre-Trained BERT Models IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this study, we propose a novel framework called Trace BERT (T-BERT) to generate trace links between source code and natural language artifacts. |
Jinfeng Lin; Yalin Liu; Qingkai Zeng; Meng Jiang; Jane Cleland-Huang; |
| 2021 | 24 | A Perspective-Based Understanding of Project Success IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Answering the call for alternative approaches to researching project management, we explore the evaluation of project success from a subjectivist perspective. |
Laurie McLeod; Bill Doolin; Stephen G. MacDonell; |
| 2021 | 25 | Neural Transfer Learning for Repairing Security Vulnerabilities in C Code IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we address the problem of automatic repair of software vulnerabilities with deep learning. |
Zimin Chen; Steve Kommrusch; Martin Monperrus; |
| 2021 | 26 | JITLine: A Simpler, Better, Faster, Finer-grained Just-In-Time Defect Prediction IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose JITLine — a Just-In-Time defect prediction approach for predicting defect-introducing commits and identifying lines that are associated with that defect-introducing commit (i.e., defective lines). |
Chanathip Pornprasit; Chakkrit Tantithamthavorn; |
| 2021 | 27 | CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To assist in such research, we propose a method to automatically collect and curate a comprehensive vulnerability dataset from Common Vulnerabilities and Exposures (CVE) records in the public National Vulnerability Database (NVD). |
Guru Prasad Bhandari; Amara Naseer; Leon Moonen; |
| 2021 | 28 | Fault Localization with Code Coverage Representation Learning IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose DeepRL4FL, a deep learning fault localization (FL) approach that locates the buggy code at the statement and method levels by treating FL as an image pattern recognition problem. |
Yi Li; Shaohua Wang; Tien N. Nguyen; |
| 2021 | 29 | How Was Your Weekend? Software Development Teams Working From Home During COVID-19 IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In our second survey, we conducted a quantitative analysis of the team cultural factors that emerged from our first survey to understand the prevalence of the reported changes. |
Courtney Miller; Paige Rodeghero; Margaret-Anne Storey; Denae Ford; Thomas Zimmermann; |
| 2021 | 30 | MicroHECL: High-Efficient Root Cause Localization in Large-Scale Microservice Systems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a high-efficient root cause localization approach for availability issues of microservice systems, called MicroHECL. |
DEWEI LIU et. al. |
| 2020 | 1 | GraphCodeBERT: Pre-training Code Representations with Data Flow IF:8 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We present GraphCodeBERT, a pre-trained model for programming language that considers the inherent structure of code. |
DAYA GUO et. al. |
| 2020 | 2 | Metamorphic Testing: A New Approach For Generating Next Test Cases IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a novel test case selection technique that derives new test cases from the successful ones. |
T. Y. Chen; S. C. Cheung; S. M. Yiu; |
| 2020 | 3 | CodeBLEU: A Method For Automatic Evaluation Of Code Synthesis IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To remedy this, we introduce a new automatic evaluation metric, dubbed CodeBLEU. |
SHUO REN et. al. |
| 2020 | 4 | A Transformer-based Approach For Source Code Summarization IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this work, we show that despite the approach is simple, it outperforms the state-of-the-art techniques by a significant margin. |
Wasi Uddin Ahmad; Saikat Chakraborty; Baishakhi Ray; Kai-Wei Chang; |
| 2020 | 5 | Improved Code Summarization Via A Graph Neural Network IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Therefore, in this paper, we present an approach that uses a graph-based neural architecture that better matches the default structure of the AST to generate these summaries. |
Alexander LeClair; Sakib Haque; Lingfei Wu; Collin McMillan; |
| 2020 | 6 | Many-Objective Software Remodularization Using NSGA-III IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a novel many-objective search-based approach using NSGA-III. |
MOHAMED WIEM MKAOUER et. al. |
| 2020 | 7 | SFuzz: An Efficient Adaptive Fuzzer For Solidity Smart Contracts IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, we present an adaptive fuzzer for smart contracts on the Ethereum platform called sFuzz. |
Tai D. Nguyen; Long H. Pham; Jun Sun; Yun Lin; Quang Tran Minh; |
| 2020 | 8 | Design Science Research Process: A Model For Producing And Presenting Information Systems Research IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The process includes six steps: problem identification and motivation, objectives for a solution, design and development, evaluation, and communication. |
KEN PEFFERS et. al. |
| 2020 | 9 | Sampling in Software Engineering Research: A Critical Review and Guidelines IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To address these problems, this paper synthesizes existing knowledge of sampling into a succinct primer and proposes extensive guidelines for improving the conduct, presentation and evaluation of sampling in software engineering research. |
Sebastian Baltes; Paul Ralph; |
| 2020 | 10 | Big Code != Big Vocabulary: Open-Vocabulary Models For Source Code IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we address this issue by: 1) studying how various modelling choices impact the resulting vocabulary on a large-scale corpus of 13,362 projects; 2) presenting an open vocabulary source code NLM that can scale to such a corpus, 100 times larger than in previous work; and 3) showing that such models outperform the state of the art on three distinct code corpora (Java, C, Python). |
Rafael-Michael Karampatsis; Hlib Babii; Romain Robbes; Charles Sutton; Andrea Janes; |
| 2020 | 11 | Code Prediction By Feeding Trees to Transformers IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We present in the paper several ways of communicating the code structure to the Transformer, which is fundamentally built for processing sequence data. |
Seohyun Kim; Jinman Zhao; Yuchi Tian; Satish Chandra; |
| 2020 | 12 | Graph-based, Self-Supervised Program Repair From Diagnostic Feedback IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this work, we propose novel solutions to these two challenges. |
Michihiro Yasunaga; Percy Liang; |
| 2020 | 13 | CC2Vec: Distributed Representations Of Code Changes IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this work, we propose CC2Vec, a neural network model that learns a representation of code changes guided by their accompanying log messages, which represent the semantic intent of the code changes. |
Thong Hoang; Hong Jin Kang; Julia Lawall; David Lo; |
| 2020 | 14 | A Survey on Automated Log Analysis for Reliability Engineering IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This survey presents a detailed overview of automated log analysis research, including how to automate and assist the writing of logging statements, how to compress logs, how to parse logs into structured event templates, and how to employ logs to detect anomalies, predict failures, and facilitate diagnosis. |
SHILIN HE et. al. |
| 2020 | 15 | A Tale of Two Cities: Software Developers Working from Home During The COVID-19 Pandemic IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: From our thematic qualitative analysis and statistical quantitative analysis, we find that there is a dichotomy of developer experiences influenced by many different factors (that for some are a benefit, while for others a challenge). |
DENAE FORD et. al. |
| 2020 | 16 | The Probabilistic Model Checker Storm IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper reports on the main features of Storm and explains how to effectively use them. |
Christian Hensel; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk; |
| 2020 | 17 | Code Smells And Refactoring: A Tertiary Systematic Review Of Challenges And Observations IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present a tertiary systematic literature review of previous surveys, secondary systematic literature reviews, and systematic mappings. |
Guilherme Lacerda; Fabio Petrillo; Marcelo Pimenta; Yann Gael Gueheneuc; |
| 2020 | 18 | A Survey of Smart Contract Formal Specification and Verification IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this survey, we investigate formal models and specifications of smart contracts presented in the literature and present a systematic overview in order to understand the common trends. |
Palina Tolmach; Yi Li; Shang-Wei Lin; Yang Liu; Zengxiang Li; |
| 2020 | 19 | Quantum Software Engineering: Landscapes and Horizons IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper defines the term quantum software engineering and introduces a quantum software life cycle. |
Jianjun Zhao; |
| 2020 | 20 | On The Efficiency Of Test Suite Based Program Repair: A Systematic Assessment Of 16 Automated Repair Systems For Java Programs IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we fill this gap in the literature, by providing an extensive review on the efficiency of test suite based program repair. |
KUI LIU et. al. |
| 2020 | 21 | SmartBugs: A Framework To Analyze Solidity Smart Contracts IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To address this, we present SmartBugs, an extensible and easy-to-use execution framework that simplifies the execution of analysis tools on smart contracts written in Solidity, the primary language used in Ethereum. |
João F. Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu; |
| 2020 | 22 | A Survey On Deep Learning For Software Engineering IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In 2006, Geoffrey Hinton proposed the concept of training ”Deep Neural Networks (DNNs)” and an improved model training method to break the bottleneck of neural network development. Based on our findings, we present a set of current challenges remaining to be investigated and outline a proposed research road map highlighting key opportunities for future work. |
Yanming Yang; Xin Xia; David Lo; John Grundy; |
| 2020 | 23 | How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper proposes SolidiFI, an automated and systematic approach for evaluating smart contract static analysis tools. |
Asem Ghaleb; Karthik Pattabiraman; |
| 2020 | 24 | Repairing Deep Neural Networks: Fix Patterns And Challenges IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This work presents a comprehensive study of bug fix patterns to address these questions. |
Md Johirul Islam; Rangeet Pan; Giang Nguyen; Hridesh Rajan; |
| 2020 | 25 | Model-based Exploration Of The Frontier Of Behaviours For Deep Learning System Testing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we introduce the notion of frontier of behaviours, i.e., the inputs at which the DL system starts to misbehave. |
Vincenzo Riccio; Paolo Tonella; |
| 2020 | 26 | On Learning Meaningful Assert Statements For Unit Test Cases IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Therefore, we employ a Neural Machine Translation (NMT) based approach called Atlas(AuTomatic Learning of Assert Statements) to automatically generate meaningful assert statements for test methods. |
Cody Watson; Michele Tufano; Kevin Moran; Gabriele Bavota; Denys Poshyvanyk; |
| 2020 | 27 | Adoption And Effects Of Software Engineering Best Practices In Machine Learning IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We aim to empirically determine the state of the art in how teams develop, deploy and maintain software with ML components. |
Alex Serban; Koen van der Blom; Holger Hoos; Joost Visser; |
| 2020 | 28 | A Comprehensive Study On Challenges In Deploying Deep Learning Based Software IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To fill this knowledge gap, this paper presents a comprehensive study on understanding challenges in deploying DL software. |
ZHENPENG CHEN et. al. |
| 2020 | 29 | Self-Supervised Contrastive Learning for Code Retrieval and Summarization Via Semantic-Preserving Transformations IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose Corder, a self-supervised contrastive learning framework for source code model. |
Nghi D. Q. Bui; Yijun Yu; Lingxiao Jiang; |
| 2019 | 1 | An Overview On Smart Contracts: Challenges, Advances And Platforms IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: null We then present the challenges in smart contracts as well as recent technical advances. |
ZIBIN ZHENG et. al. |
| 2019 | 2 | Devign: Effective Vulnerability Identification By Learning Comprehensive Program Semantics Via Graph Neural Networks IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Inspired by the work on manually-defined patterns of vulnerabilities from various code representation graphs and the recent advance on graph neural networks, we propose Devign, a general graph neural network based model for graph-level classification through learning on a rich set of code semantic representations. |
Yaqin Zhou; Shangqing Liu; Jingkai Siow; Xiaoning Du; Yang Liu; |
| 2019 | 3 | Slither: A Static Analysis Framework For Smart Contracts IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. |
Josselin Feist; Gustavo Grieco; Alex Groce; |
| 2019 | 4 | Learning And Evaluating Contextual Embedding Of Source Code IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Future work on source-code embedding can benefit from reusing our benchmark, and from comparing against CuBERT models as a strong baseline. Specifically, first, we curate a massive, deduplicated corpus of 7.4M Python files from GitHub, which we use to pre-train CuBERT, an open-sourced code-understanding BERT model; and, second, we create an open-sourced benchmark that comprises five classification tasks and one program-repair task, akin to code-understanding tasks proposed in the literature before. |
Aditya Kanade; Petros Maniatis; Gogul Balakrishnan; Kensen Shi; |
| 2019 | 5 | A Survey Of DevOps Concepts And Challenges IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We review the literature and develop a DevOps conceptual map, correlating the DevOps automation tools with these concepts. |
Leonardo Leite; Carla Rocha; Fabio Kon; Dejan Milojicic; Paulo Meirelles; |
| 2019 | 6 | A Neural Model For Generating Natural Language Summaries Of Program Subroutines IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we present a neural model that combines words from code with code structure from an AST. |
Alexander LeClair; Siyuan Jiang; Collin McMillan; |
| 2019 | 7 | TBar: Revisiting Template-based Automated Program Repair IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We revisit the performance of template-based APR to build comprehensive knowledge about the effectiveness of fix patterns, and to highlight the importance of complementary steps such as fault localization or donor code retrieval. |
Kui Liu; Anil Koyuncu; Dongsun Kim; Tegawendé F. Bissyandé; |
| 2019 | 8 | Manticore: A User-Friendly Symbolic Execution Framework For Binaries And Smart Contracts IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. |
MARK MOSSBERG et. al. |
| 2019 | 9 | A Comprehensive Study On Deep Learning Bug Characteristics IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Therefore, we study 2716 high-quality posts from Stack Overflow and 500 bug fix commits from Github about five popular deep learning libraries Caffe, Keras, Tensorflow, Theano, and Torch to understand the types of bugs, root causes of bugs, impacts of bugs, bug-prone stage of deep learning pipeline as well as whether there are some common antipatterns found in this buggy software. |
Md Johirul Islam; Giang Nguyen; Rangeet Pan; Hridesh Rajan; |
| 2019 | 10 | Empirical Review Of Automated Analysis Tools On 47,587 Ethereum Smart Contracts IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To address this, we present an empirical evaluation of 9 state-of-the-art automated analysis tools using two new datasets: i) a dataset of 69 annotated vulnerable smart contracts that can be used to evaluate the precision of analysis tools; and ii) a dataset with all the smart contracts in the Ethereum Blockchain that have Solidity source code available on Etherscan (a total of 47,518 contracts). |
Thomas Durieux; João F. Ferreira; Rui Abreu; Pedro Cruz; |
| 2019 | 11 | Taxonomy Of Real Faults In Deep Learning Systems IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper we introduce a large taxonomy of faults in deep learning (DL) systems. |
NARGIZ HUMBATOVA et. al. |
| 2019 | 12 | Getafix: Learning To Fix Bugs Automatically IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present Getafix, an approach that produces human-like fixes while being fast enough to suggest fixes in time proportional to the amount of time needed to obtain static analysis results in the first place. |
Johannes Bader; Andrew Scott; Michael Pradel; Satish Chandra; |
| 2019 | 13 | Process Mining For Python (PM4Py): Bridging The Gap Between Process- And Data Science IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In the light of the aforementioned, in this paper, we present a novel process mining library, i.e. Process Mining for Python (PM4Py) that aims to bridge this gap, providing integration with state-of-the-art data science libraries, e.g., pandas, numpy, scipy and scikit-learn. |
Alessandro Berti; Sebastiaan J. van Zelst; Wil van der Aalst; |
| 2019 | 14 | When Deep Learning Met Code Search IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Clearly, there are choices in whether to use supervised techniques at all, and if one does, what sort of network and training to use for supervision. |
Jose Cambronero; Hongyu Li; Seohyun Kim; Koushik Sen; Satish Chandra; |
| 2019 | 15 | On Learning Meaningful Code Changes Via Neural Machine Translation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Our goal is to make this first important step by quantitatively and qualitatively investigating the ability of a Neural Machine Translation (NMT) model to learn how to automatically apply code changes implemented by developers during pull requests. |
Michele Tufano; Jevgenija Pantiuchina; Cody Watson; Gabriele Bavota; Denys Poshyvanyk; |
| 2019 | 16 | Harvey: A Greybox Fuzzer For Smart Contracts IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this experience paper, we explain how Harvey alleviates both challenges with two key fuzzing techniques and distill the main lessons learned. |
Valentin Wüstholz; Maria Christakis; |
| 2019 | 17 | DeepGini: Prioritizing Massive Tests To Enhance The Robustness Of Deep Neural Networks IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To mitigate this problem, we propose DeepGini, a test prioritization technique designed based on a statistical perspective of DNN. |
YANG FENG et. al. |
| 2019 | 18 | Multi-Modal Attention Network Learning For Semantic Source Code Retrieval IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To tackle the two aforementioned issues, this paper proposes MMAN, a novel Multi-Modal Attention Network for semantic source code retrieval. |
YAO WAN et. al. |
| 2019 | 19 | Requirements Engineering For Machine Learning: Perspectives From Data Scientists IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we describe our ongoing endeavor to define characteristics and challenges unique to Requirements Engineering (RE) for ML-based systems. |
Andreas Vogelsang; Markus Borg; |
| 2019 | 20 | A Systematic Review Of Unsupervised Learning Techniques For Software Defect Prediction IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Method: We conducted a systematic literature review that identified 49 studies containing 2456 individual experimental results, which satisfied our inclusion criteria published between January 2000 and March 2018. |
Ning Li; Martin Shepperd; Yuchen Guo; |
| 2019 | 21 | SAVIOR: Towards Bug-Driven Hybrid Testing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose SAVIOR, a new hybrid testing framework pioneering a bug-driven principle. |
YAOHUI CHEN et. al. |
| 2019 | 22 | Misbehaviour Prediction For Autonomous Driving Systems IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we address the problem of estimating the confidence of DNNs in response to unexpected execution contexts with the purpose of predicting potential safety-critical misbehaviours such as out of bound episodes or collisions. |
Andrea Stocco; Michael Weiss; Marco Calzana; Paolo Tonella; |
| 2019 | 23 | How Often Do Single-Statement Bugs Occur? The ManySStuBs4J Dataset IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In an initial analysis, we find that about 33% of the simple bug fixes match the templates, indicating that a remarkable number of single-statement bugs can be repaired with a relatively small set of templates. To fill this gap, we provide a dataset of 153,652 single statement bug-fix changes mined from 1,000 popular open-source Java projects, annotated by whether they match any of a set of 16 bug templates, inspired by state-of-the-art program repair techniques. |
Rafael-Michael Karampatsis; Charles Sutton; |
| 2019 | 24 | Defining Smart Contract Defects On Ethereum IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To fill this gap, we collected smart-contract-related posts from Ethereum StackExchange, as well as real-world smart contracts. |
JIACHI CHEN et. al. |
| 2019 | 25 | Empirical Review Of Java Program Repair Tools: A Large-Scale Experiment On 2,141 Bugs And 23,551 Repair Attempts IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we present a large-scale experiment using 11 Java test-suite-based repair tools and 5 benchmarks of bugs. |
Thomas Durieux; Fernanda Madeiral; Matias Martinez; Rui Abreu; |
| 2019 | 26 | Automatic Testing And Improvement Of Machine Translation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper presents TransRepair, a fully automatic approach for testing and repairing the consistency of machine translation systems. |
Zeyu Sun; Jie M. Zhang; Mark Harman; Mike Papadakis; Lu Zhang; |
| 2019 | 27 | Bears: An Extensible Java Bug Benchmark For Automatic Program Repair Studies IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we present Bears, a project for collecting and storing bugs into an extensible bug benchmark for automatic repair studies in Java. |
Fernanda Madeiral; Simon Urli; Marcelo Maia; Martin Monperrus; |
| 2019 | 28 | DevOps Capabilities, Practices, And Challenges: Insights From A Case Study IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Against the backdrop of the growing adoption of DevOps in a variety of software development domains, this paper describes empirical research into factors influencing its implementation. |
Mali Senapathi; Jim Buchan; Hady Osman; |
| 2019 | 29 | Retrieve And Refine: Exemplar-based Neural Comment Generation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Inspired by the traditional IR-based approaches, we propose to use the existing comments of similar source code as exemplars to guide the comment generation process. |
Bolin Wei; |
| 2019 | 30 | Implementing Large-Scale Agile Frameworks: Challenges And Recommendations IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Based on 13 agile transformation cases over 15 years, this article identifies nine challenges associated with implementing SAFe, Scrum-at-Scale, Spotify, LeSS, Nexus, and other mixed or customised large-scale agile frameworks. |
Kieran Conboy; Noel Carroll; |
| 2018 | 1 | ContractFuzzer: Fuzzing Smart Contracts For Vulnerability Detection IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, we present ContractFuzzer, a novel fuzzer to test Ethereum smart contracts for security vulnerabilities. |
Bo Jiang; Ye Liu; W. K. Chan; |
| 2018 | 2 | DeepGauge: Multi-Granularity Testing Criteria For Deep Learning Systems IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose DeepGauge, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed. |
LEI MA et. al. |
| 2018 | 3 | SequenceR: Sequence-to-Sequence Learning For End-to-End Program Repair IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper presents a novel end-to-end approach to program repair based on sequence-to-sequence learning. |
ZIMIN CHEN et. al. |
| 2018 | 4 | Guiding Deep Learning System Testing Using Surprise Adequacy IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We propose a novel test adequacy criterion for testing of DL systems, called Surprise Adequacy for Deep Learning Systems (SADL), which is based on the behaviour of DL systems with respect to their training data. |
Jinhan Kim; Robert Feldt; Shin Yoo; |
| 2018 | 5 | Nopol: Automatic Repair Of Conditional Statement Bugs In Java Programs IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We propose NOPOL, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). |
JIFENG XUAN et. al. |
| 2018 | 6 | Knowledge Management In Software Engineering: A Systematic Review Of Studied Concepts, Findings And Research Methods Used IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This systematic review identifies empirical studies of knowledge management initiatives in software engineering, and discusses the concepts studied, the major findings, and the research methods used. |
Finn Olav Bjørnson; Torgeir Dingsøyr; |
| 2018 | 7 | Tools And Benchmarks For Automated Log Parsing IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To better understand the characteristics of these log parsers, in this paper, we present a comprehensive evaluation study on automated log parsing and further release the tools and benchmarks for easy reuse. |
JIEMING ZHU et. al. |
| 2018 | 8 | Improving Automatic Source Code Summarization Via Deep Reinforcement Learning IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we incorporate an abstract syntax tree structure as well as sequential content of code snippets into a deep reinforcement learning framework (i.e., actor-critic network). |
YAO WAN et. al. |
| 2018 | 9 | DeepBugs: A Learning Approach To Name-based Bug Detection IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper presents DeepBugs, a learning approach to name-based bug detection, which reasons about names based on a semantic representation and which automatically learns bug detectors instead of manually writing them. |
Michael Pradel; Koushik Sen; |
| 2018 | 10 | DeepMutation: Mutation Testing Of Deep Learning Systems IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose a mutation testing framework specialized for DL systems to measure the quality of test data. |
LEI MA et. al. |
| 2018 | 11 | Scenarios For Development, Test And Validation Of Automated Vehicles IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, the authors present requirements for the representation of scenarios in different process steps defined by the ISO 26262 standard, propose a consistent terminology based on prior publications for the identified levels of abstraction, and demonstrate how scenarios can be systematically evolved along the phases of the development process outlined in the ISO 26262 standard. |
Till Menzel; Gerrit Bagschik; Markus Maurer; |
| 2018 | 12 | An Empirical Study On Learning Bug-Fixing Patches In The Wild Via Neural Machine Translation IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To explore such a potential, we perform an empirical study to assess the feasibility of using Neural Machine Translation techniques for learning bug-fixing patches for real defects. |
MICHELE TUFANO et. al. |
| 2018 | 13 | The Impact Of Automated Parameter Optimization On Defect Prediction Models IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we study the impact of automated parameter optimization on defect prediction models. |
Chakkrit Tantithamthavorn; Shane McIntosh; Ahmed E. Hassan; Kenichi Matsumoto; |
| 2018 | 14 | The Adverse Effects Of Code Duplication In Machine Learning Models Of Code IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this work, we explore the effects of code duplication on machine learning models showing that reported performance metrics are sometimes inflated by up to 100% when testing on duplicated code corpora compared to the performance on de-duplicated corpora which more accurately represent how machine learning models of code are used by software engineers. |
Miltiadis Allamanis; |
| 2018 | 15 | DLFuzz: Differential Fuzzing Testing Of Deep Learning Systems IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose DLFuzz, the frst differential fuzzing testing framework to guide DL systems exposing incorrect behaviors. |
Jianmin Guo; Yu Jiang; Yue Zhao; Quan Chen; Jiaguang Sun; |
| 2018 | 16 | What’s In A GitHub Star? Understanding Repository Starring Practices In A Social Coding Platform IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Therefore, we provide in this paper a throughout study on the meaning, characteristics, and dynamic growth of GitHub stars. |
Hudson Borges; Marco Tulio Valente; |
| 2018 | 17 | Automatic Repair Of Real Bugs In Java: A Large-Scale Experiment On The Defects4J Dataset IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we report on an experiment to explore the effectiveness of automatic test-suite based repair on Defects4J. |
Matias Martinez; Thomas Durieux; Romain Sommerard; Jifeng Xuan; Martin Monperrus; |
| 2018 | 18 | The Impact Of Class Rebalancing Techniques On The Performance And Interpretation Of Defect Prediction Models IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we investigate the impact of 4 popularly-used class rebalancing techniques on 10 commonly-used performance measures and the interpretation of defect prediction models. |
Chakkrit Tantithamthavorn; Ahmed E. Hassan; Kenichi Matsumoto; |
| 2018 | 19 | Semantically Enhanced Software Traceability Using Deep Learning Techniques IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present a solution that uses deep learning to incorporate requirements artifact semantics and domain knowledge into the tracing solution. |
Jin Guo; Jinghui Cheng; Jane Cleland-Huang; |
| 2018 | 20 | Reinforcement Learning For Automatic Test Case Prioritization And Selection In Continuous Integration IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This paper introduces Retecs, a new method for automatically learning test case selection and prioritization in CI with the goal to minimize the round-trip time between code commits and developer feedback on failed test cases. |
Helge Spieker; Arnaud Gotlieb; Dusica Marijan; Morten Mossige; |
| 2018 | 21 | Neural Machine Translation Inspired Binary Code Similarity Comparison Beyond Function Pairs IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This inspires us to approach binary analysis by leveraging ideas and techniques from Natural Language Processing (NLP), a rich area focused on processing text of various natural languages. |
FEI ZUO et. al. |
| 2018 | 22 | Automatic Software Repair: A Bibliography IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article presents a survey on automatic software repair. |
Martin Monperrus; |
| 2018 | 23 | FixMiner: Mining Relevant Fix Patterns For Automated Program Repair IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose a systematic and automated approach to mining relevant and actionable fix patterns based on an iterative clustering strategy applied to atomic changes within patches. |
ANIL KOYUNCU et. al. |
| 2018 | 24 | Machine Learning-Based Prototyping Of Graphical User Interfaces For Mobile Apps IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present an approach that automates this process by enabling accurate prototyping of GUIs via three tasks: detection, classification, and assembly. |
Kevin Moran; Carlos Bernal-Cárdenas; Michael Curcio; Richard Bonett; Denys Poshyvanyk; |
| 2018 | 25 | An Empirical Study Of Fault Localization Families And Their Combinations IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper reports on an empirical study of a wide range of fault localization techniques on real-world faults. |
Daming Zou; Jingjing Liang; Yingfei Xiong; Michael D. Ernst; Lu Zhang; |
| 2018 | 26 | CATERPILLAR: A Business Process Execution Engine On The Ethereum Blockchain IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: The article introduces a blockchain-based BPMN execution engine, namely Caterpillar. |
Orlenys López-Pintado; Luciano García-Bañuelos; Marlon Dumas; Ingo Weber; Alex Ponomarev; |
| 2018 | 27 | Identifying Implementation Bugs In Machine Learning Based Image Classifiers Using Metamorphic Testing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, we present an articulation of the challenges in testing ML based applications. |
ANURAG DWARAKANATH et. al. |
| 2018 | 28 | Aroma: Code Recommendation Via Structural Code Search IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We propose Aroma, a tool and technique for code recommendation via structural code search. |
Sifei Luan; Di Yang; Celeste Barnaby; Koushik Sen; Satish Chandra; |
| 2018 | 29 | Software Engineering Challenges Of Deep Learning IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: It is the goal of this research to identify what the main challenges are, by applying an interpretive research approach in close collaboration with companies of varying size and type. |
Anders Arpteg; Björn Brinne; Luka Crnkovic-Friis; Jan Bosch; |
| 2018 | 30 | Practical Program Repair Via Bytecode Mutation IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we implement the first practical bytecode-level APR technique, PraPR, and present the first extensive study on fixing real-world bugs (e.g., Defects4J bugs) using bytecode mutation. |
Ali Ghanbari; Lingming Zhang; |
| 2017 | 1 | ImageJ2: ImageJ For The Next Generation Of Scientific Image Data IF:8 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present ImageJ2, a total redesign of ImageJ offering a host of new functionality. |
CURTIS T. RUEDEN et. al. |
| 2017 | 2 | DeepTest: Automated Testing Of Deep-Neural-Network-driven Autonomous Cars IF:9 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we design, implement and evaluate DeepTest, a systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles that can potentially lead to fatal crashes. |
Yuchi Tian; Kexin Pei; Suman Jana; Baishakhi Ray; |
| 2017 | 3 | A Survey Of Machine Learning For Big Code And Naturalness IF:8 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this article, we survey this work. |
Miltiadis Allamanis; Earl T. Barr; Premkumar Devanbu; Charles Sutton; |
| 2017 | 4 | Agile Software Development Methods: Review And Analysis IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The aim of this publication is to begin filling this gap by systematically reviewing the existing literature on agile software development methodologies. |
Pekka Abrahamsson; Outi Salo; Jussi Ronkainen; Juhani Warsta; |
| 2017 | 5 | Blockchains For Business Process Management – Challenges And Opportunities IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper analyzes its impact on business process management (BPM). |
JAN MENDLING et. al. |
| 2017 | 6 | Do Code Clones Matter? IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The clone detection tool used in the case study implements a novel algorithm for the detection of inconsistent clones. |
Elmar Juergens; Florian Deissenboeck; Benjamin Hummel; Stefan Wagner; |
| 2017 | 7 | Continuous Integration, Delivery And Deployment: A Systematic Review On Approaches, Tools, Challenges And Practices IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Objective: This research aimed at systematically reviewing the state of the art of continuous practices to classify approaches and tools, identify challenges and practices in this regard, and identify the gaps for future research. |
Mojtaba Shahin; Muhammad Ali Babar; Liming Zhu; |
| 2017 | 8 | A Storm Is Coming: A Modern Probabilistic Model Checker IF:6 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: We launch the new probabilistic model checker storm. It features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs. It supports the PRISM and … |
Christian Dehnert; Sebastian Junges; Joost-Pieter Katoen; Matthias Volk; |
| 2017 | 9 | Under-Optimized Smart Contracts Devour Your Money IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, we conduct the first investigation on Solidity, the recommended compiler, and reveal that it fails to optimize gas-costly programming patterns. |
Ting Chen; Xiaoqi Li; Xiapu Luo; Xiaosong Zhang; |
| 2017 | 10 | Fairness Testing: Testing Software For Discrimination IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper defines software fairness and discrimination and develops a testing-based method for measuring if and how much software discriminates, focusing on causality in discriminatory behavior. |
Sainyam Galhotra; Yuriy Brun; Alexandra Meliou; |
| 2017 | 11 | Automated Discovery Of Process Models From Event Logs: Review And Benchmark IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Various automated process discovery methods have been proposed in the past two decades, striking different tradeoffs between scalability, accuracy and complexity of the resulting models. |
ADRIANO AUGUSTO et. al. |
| 2017 | 12 | Blockchain-oriented Software Engineering: Challenges And New Directions IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we acknowledge the need for software engineers to devise specialized tools and techniques for blockchain-oriented software development. |
Simone Porru; Andrea Pinna; Michele Marchesi; Roberto Tonelli; |
| 2017 | 13 | Automatically Generating Commit Messages From Diffs Using Neural Machine Translation IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we adapt Neural Machine Translation (NMT) to automatically translate diffs into commit messages. |
Siyuan Jiang; Ameer Armaly; Collin McMillan; |
| 2017 | 14 | One Evaluation Of Model-based Testing And Its Automation IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We use the case study of an automotive network controller to assess different test suites in terms of error detection, model coverage, and implementation coverage. |
ALEXANDER PRETSCHNER et. al. |
| 2017 | 15 | Mobile-D: An Agile Approach For Mobile Application Development IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Due to these issues, we have developed an agile development approach called Mobile-D. |
PEKKA ABRAHAMSSON et. al. |
| 2017 | 16 | Sentiment Polarity Detection For Software Development IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: Here, we present Senti4SD, a classifier specifically trained to support sentiment analysis in developers’ communication channels. |
Fabio Calefato; Filippo Lanubile; Federico Maiorano; Nicole Novielli; |
| 2017 | 17 | An Empirical Comparison Of Dependency Network Evolution In Seven Software Packaging Ecosystems IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose novel metrics to capture the growth, changeability, resuability and fragility of these dependency networks, and use these metrics to analyse and compare their evolution. |
Alexandre Decan; Tom Mens; Philippe Grosjean; |
| 2017 | 18 | Easy Over Hard: A Case Study On Deep Learning IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: This is particularly important for deep learning since these learners need hours (to weeks) to train the model. |
Wei Fu; Tim Menzies; |
| 2017 | 19 | Chaos Engineering IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We use the term Chaos Engineering to refer to this approach, and discuss the underlying principles and how to use it to run experiments. |
ALI BASIRI et. al. |
| 2017 | 20 | Developer Prioritization In Bug Repositories IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we address the problem of the developer prioritization, which aims to rank the contributions of developers. |
Jifeng Xuan; He Jiang; Zhilei Ren; Weiqin Zou; |
| 2017 | 21 | ARJA: Automated Repair Of Java Programs Via Multi-Objective Genetic Programming IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose ARJA, a new GP based repair approach for automated repair of Java programs. |
Yuan Yuan; Wolfgang Banzhaf; |
| 2017 | 22 | What Happens When Software Developers Are (un)happy IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we study what happens when developers are happy and unhappy while developing software. |
Daniel Graziotin; Fabian Fagerholm; Xiaofeng Wang; Pekka Abrahamsson; |
| 2017 | 23 | Automatically Discovering, Reporting And Reproducing Android Application Crashes IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To support developers in these tasks, we introduce a novel, automated approach called CRASHSCOPE. |
Kevin Moran; Mario Linares-Vásquez; Carlos Bernal-Cárdenas; Christopher Vendome; Denys Poshyvanyk; |
| 2017 | 24 | Why Modern Open Source Projects Fail IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To better understand the reasons for the failure of modern open source projects, this paper describes the results of a survey with the maintainers of 104 popular GitHub systems that have been deprecated. |
Jailton Coelho; Marco Tulio Valente; |
| 2017 | 25 | Sorting And Transforming Program Repair Ingredients Via Deep Learning Code Similarities IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We aim to reason about the repair ingredients by using code similarities to prioritize and transform statements in a codebase for patch generation. |
Martin White; Michele Tufano; Matias Martinez; Martin Monperrus; Denys Poshyvanyk; |
| 2017 | 26 | Identifying Patch Correctness In Test-Based Program Repair IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. |
Yingfei Xiong; Xinyuan Liu; Muhan Zeng; Lu Zhang; Gang Huang; |
| 2017 | 27 | Runtime Verification For Business Processes Utilizing The Bitcoin Blockchain IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To achieve business process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. |
Christoph Prybila; Stefan Schulte; Christoph Hochreiner; Ingo Weber; |
| 2017 | 28 | Why Early-Stage Software Startups Fail: A Behavioral Framework IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: With this study we aim to raise our understanding of the failure of early-stage software startup companies. |
Carmine Giardino; Xiaofeng Wang; Pekka Abrahamsson; |
| 2017 | 29 | Microservices: How To Make Your Application Scale IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we describe the main features of microservices and highlight how these features improve scalability. |
NICOLA DRAGONI et. al. |
| 2017 | 30 | Engineering Trustworthy Self-Adaptive Software With Dynamic Assurance Cases IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). |
RADU CALINESCU et. al. |
| 2016 | 1 | Microservices: Yesterday, Today, And Tomorrow IF:8 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This survey primarily addresses newcomers to the discipline, while offering an academic viewpoint on the topic. |
NICOLA DRAGONI et. al. |
| 2016 | 2 | A Survey Of Symbolic Execution Techniques IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: The goal of this survey is to provide an overview of the main ideas, challenges, and solutions developed in the area, distilling them for a broad audience. |
Roberto Baldoni; Emilio Coppa; Daniele Cono D’Elia; Camil Demetrescu; Irene Finocchi; |
| 2016 | 3 | Deep API Learning IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose DeepAPI, a deep learning based approach to generate API usage sequences for a given natural language query. |
Xiaodong Gu; Hongyu Zhang; Dongmei Zhang; Sunghun Kim; |
| 2016 | 4 | An Analysis Of The Cloud Computing Security Problem IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we introduce a detailed analysis of the cloud security problem. |
Mohamed Almorsy; John Grundy; Ingo Müller; |
| 2016 | 5 | Good Enough Practices In Scientific Computing IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We present a set of computing tools and techniques that every researcher can and should adopt. |
GREG WILSON et. al. |
| 2016 | 6 | Precise Condition Synthesis For Program Repair IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we aim to produce precise patches, that is, any patch we produce has a relatively high probability to be correct. |
YINGFEI XIONG et. al. |
| 2016 | 7 | Understanding The Factors That Impact The Popularity Of GitHub Repositories IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we describe a study on the popularity of software systems hosted at GitHub, which is the world’s largest collection of open source software. |
Hudson Borges; Andre Hora; Marco Tulio Valente; |
| 2016 | 8 | Why We Refactor? Confessions Of GitHub Contributors IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We found that refactoring activity is mainly driven by changes in the requirements and much less by code smells. |
Danilo Silva; Nikolaos Tsantalis; Marco Tulio Valente; |
| 2016 | 9 | Learning Syntactic Program Transformations From Examples IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present REFAZER, a technique for automatically generating program transformations. |
REUDISMAM ROLIM et. al. |
| 2016 | 10 | Tuning For Software Analytics: Is It Really Necessary? IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: At least for defect prediction, it is no longer enough to just run a data miner and present the resultwithoutconducting a tuning optimization study. |
Wei Fu; Tim Menzies; Xipeng Shen; |
| 2016 | 11 | Optimized Execution Of Business Processes On Blockchain IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper proposes an optimized method for executing business processes on top of commodity blockchain technology. |
Luciano García-Bañuelos; Alexander Ponomarev; Marlon Dumas; Ingo Weber; |
| 2016 | 12 | A Comparison Of 10 Sampling Algorithms For Configurable Systems IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present a comparative study of 10 state-of-the-art sampling algorithms regarding their fault-detection capability and size of sample sets. |
Flávio Medeiros; Christian Kästner; Márcio Ribeiro; Rohit Gheyi; Sven Apel; |
| 2016 | 13 | IStar 2.0 Language Guide IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This document introduces the iStar 2.0 core language, evolving the basic concepts of i* into a consistent and clear set of core concepts, upon which to build future work and to base goal-oriented teaching materials. |
Fabiano Dalpiaz; Xavier Franch; Jennifer Horkoff; |
| 2016 | 14 | An Analysis Of The Search Spaces For Generate And Validate Patch Generation Systems IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present the first systematic analysis of the characteristics of patch search spaces for automatic patch generation systems. |
Fan Long; Martin Rinard; |
| 2016 | 15 | A Deep Learning Model For Estimating Story Points IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we offer for the \emph{first} time a comprehensive dataset for story points-based estimation that contains 23,313 issues from 16 open source projects. |
MORAKOT CHOETKIERTIKUL et. al. |
| 2016 | 16 | On The Pragmatic Design Of Literature Studies In Software Engineering: An Experience-based Guideline IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this article, we present an experience-based guideline to aid researchers in designing systematic literature studies with special emphasis on the data collection and selection procedures. |
M. Kuhrmann; D. Méndez Fernández; M. Daneva; |
| 2016 | 17 | Rapid Quality Assurance With Requirements Smells IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We aim at a light-weight static requirements analysis approach that allows for rapid checks immediately when requirements are written down. |
H. Femmer; D. Méndez Fernández; S. Wagner; S. Eder; |
| 2016 | 18 | The Quamoco Product Quality Modelling And Assessment Approach IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: For this, we developed in several iterations a meta quality model specifying general concepts, a quality base model covering the most important quality factors and a quality assessment approach. |
STEFAN WAGNER et. al. |
| 2016 | 19 | From Query To Usable Code: An Analysis Of Stack Overflow Code Snippets IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: With the goal of developing automated tools with the Stack Overflow snippets and surrounding text, this paper investigates the following questions: (1) How usable are the Stack Overflow code snippets? |
Di Yang; Aftab Hussain; Cristina Lopes; |
| 2016 | 20 | Towards A Semantic Administrative Shell For Industry 4.0 Components IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present an approach to developing such a digital representation based on semantic knowledge representation formalisms such as RDF, RDF Schema and OWL. |
IRLÁN GRANGEL-GONZÁLEZ et. al. |
| 2016 | 21 | Mining Valence, Arousal, And Dominance – Possibilities For Detecting Burnout And Productivity? IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: As an initial step towards identifying symptoms of productivity loss in software engineering, this paper explores the VAD metrics and their properties on 700,000 Jira issue reports containing over 2,000,000 comments, since issue reports keep track of a developer’s progress on addressing bugs or new features. |
Mika Mäntylä; Bram Adams; Giuseppe Destefanis; Daniel Graziotin; Marco Ortu; |
| 2016 | 22 | A Novel Approach For Estimating Truck Factors IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To mitigate both issues, we propose a novel (and automated) approach for estimating TF-values, which we execute against a corpus of 133 popular project in GitHub. |
Guilherme Avelino; Leonardo Passos; Andre Hora; Marco Tulio Valente; |
| 2016 | 23 | A Deep Language Model For Software Code IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we propose a novel approach to build a language model for software code to address this particular issue. |
Hoa Khanh Dam; Truyen Tran; Trang Pham; |
| 2016 | 24 | Towards A Technique For Extracting Microservices From Monolithic Enterprise Systems IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper describes a technique to identify and define microservices on monolithic enterprise systems. |
Alessandra Levcovitz; Ricardo Terra; Marco Tulio Valente; |
| 2016 | 25 | Naming The Pain In Requirements Engineering: Design Of A Global Family Of Surveys And First Results From Germany IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Objective: To lay an empirical and generalisable foundation about the state of the practice in RE, we aim at a series of open and reproducible surveys that allow us to steer future research in a problem-driven manner. |
Daniel Méndez Fernández; Stefan Wagner; |
| 2016 | 26 | Programming Heterogeneous Systems From An Image Processing DSL IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: We demonstrate our approach by mapping applications to a Xilinx Zynq system. |
JING PU et. al. |
| 2016 | 27 | Operationalised Product Quality Models And Assessment: The Quamoco Approach IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In the project Quamoco, we developed a comprehensive approach for closing this gap. |
STEFAN WAGNER et. al. |
| 2016 | 28 | Neural Network Models For Software Development Effort Estimation: A Comparative Study IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this study, four different neural network models: Multilayer Perceptron, General Regression Neural Network, Radial Basis Function Neural Network, and Cascade Correlation Neural Network are compared with each other based on: (1) predictive accuracy centered on the Mean Absolute Error criterion, (2) whether such a model tends to overestimate or underestimate, and (3) how each model classifies the importance of its inputs. |
Ali Bou Nassif; Mohammad Azzeh; Luiz Fernando Capretz; Danny Ho; |
| 2016 | 29 | Classifying Developers Into Core And Peripheral: An Empirical Study On Count And Network Metrics IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Knowledge about the roles developers play in a software project is crucial to understanding the project’s collaborative dynamics. |
Mitchell Joblin; Sven Apel; Claus Hunsen; Wolfgang Mauerer; |
| 2016 | 30 | Circuit Breakers, Discovery, And API Gateways In Microservices IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We review some of the most widely used patterns for the programming of microservices: circuit breaker, service discovery, and API gateway. |
Fabrizio Montesi; Janine Weber; |
| 2015 | 1 | The Use Of Machine Learning Algorithms In Recommender Systems: A Systematic Review IF:7 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents a systematic review of the literature that analyzes the use of machine learning algorithms in recommender systems and identifies research opportunities for software engineering research. |
Ivens Portugal; Paulo Alencar; Donald Cowan; |
| 2015 | 2 | On The Naturalness Of Buggy Code IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we investigate this hypothesis. |
BAISHAKHI RAY et. al. |
| 2015 | 3 | Migrating To Cloud-Native Architectures Using Microservices: An Experience Report IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we intend to report our experience and lessons learned in an ongoing project on migrating a monolithic on-premise software architecture to microservices. |
Armin Balalaie; Abbas Heydarnoori; Pooyan Jamshidi; |
| 2015 | 4 | Happy Software Developers Solve Problems Better: Psychological Measurements In Empirical Software Engineering IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The following contributions are made by this study: (1) providing a better understanding of the impact of affective states on the creativity and analytical problem-solving capacities of developers, (2) introducing and validating psychological measurements, theories, and concepts of affective states, creativity, and analytical-problem-solving skills in empirical software engineering, and (3) raising the need for studying the human factors of software engineering by employing a multidisciplinary viewpoint. |
Daniel Graziotin; Xiaofeng Wang; Pekka Abrahamsson; |
| 2015 | 5 | Conformance Checking Based On Multi-Perspective Declarative Process Models IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we close this gap by providing a framework for conformance checking based on MP-Declare, a multi-perspective version of the declarative process modeling language Declare. |
Andrea Burattin; Fabrizio Maria Maggi; Alessandro Sperduti; |
| 2015 | 6 | Applied Metamodelling: A Foundation For Language Driven Development (Third Edition) IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this book we propose that there is a common foundation to their resolution: languages. |
Tony Clark; Paul Sammut; James Willans; |
| 2015 | 7 | Clustering-Based Predictive Process Monitoring IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a predictive process monitoring framework for estimating the probability that a given predicate will be fulfilled upon completion of a running case. |
Chiara Di Francescomarino; Marlon Dumas; Fabrizio Maria Maggi; Irene Teinemaa; |
| 2015 | 8 | Using Models At Runtime To Address Assurance For Self-Adaptive Systems IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This chapter explores the state of the art for usingM@RT to address the assurance of self-adaptive software systems. |
BETTY CHENG et. al. |
| 2015 | 9 | An Investigation Into The Use Of Common Libraries In Android Apps IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we leverage a dataset of about 1.5 million apps from Google Play to harvest potential common libraries, including advertisement libraries. |
Li Li; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon; |
| 2015 | 10 | Test Set Diameter: Quantifying The Diversity Of Sets Of Test Cases IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose a new metric to measure the diversity of sets of tests: the test set diameter (TSDm). |
Robert Feldt; Simon Poulding; David Clark; Shin Yoo; |
| 2015 | 11 | Safety-Constrained Reinforcement Learning For MDPs IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We consider controller synthesis for stochastic and partially unknown environments in which safety is essential. |
Sebastian Junges; Nils Jansen; Christian Dehnert; Ufuk Topcu; Joost-Pieter Katoen; |
| 2015 | 12 | Untangling Fine-Grained Code Changes IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we contribute to this line of work in two ways: (1) A publicly available dataset of untangled code changes, created with the help of two developers who accurately split their code changes into self contained tasks over a period of four months; (2) a novel approach, EpiceaUntangler, to help developers share untangled commits (aka. |
Martín Dias; Alberto Bacchelli; Georgios Gousios; Damien Cassou; Stéphane Ducasse; |
| 2015 | 13 | Performance-oriented DevOps: A Research Agenda IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This report presents existing solutions to support this integration as well as open research challenges in this area. |
ANDREAS BRUNNERT et. al. |
| 2015 | 14 | YesWorkflow: A User-Oriented, Language-Independent Tool For Recovering Workflow Information From Scripts IF:4 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: Scientific workflow management systems offer features for composing complex computational pipelines from modular building blocks, for executing the resulting automated workflows, … |
TIMOTHY MCPHILLIPS et. al. |
| 2015 | 15 | Parameter-Free Probabilistic API Mining Across GitHub IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To address this, we present PAM (Probabilistic API Miner), a near parameter-free probabilistic algorithm for mining the most interesting API call patterns. |
Jaroslav Fowkes; Charles Sutton; |
| 2015 | 16 | Soft Skills And Software Development: A Reflection From The Software Industry IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The objective of this paper is to analyze the software industry soft skills requirements for various software development positions, such as system analyst, designer, programmer, and tester. |
Faheem Ahmed; Luiz Fernando Capretz; Salah Bouktif; Piers Campbell; |
| 2015 | 17 | MORPH: A Reference Architecture For Configuration And Behaviour Self-Adaptation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we propose a reference architecture that allows for coordinated yet transparent and independent adaptation of system configuration and behaviour. |
Victor Braberman; Nicolas D’Ippolito; Jeff Kramer; Daniel Sykes; Sebastian Uchitel; |
| 2015 | 18 | Learning API Usages From Bytecode: A Statistical Approach IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a novel approach to learn API usages from bytecode of Android mobile apps. |
Tam The Nguyen; Hung Viet Pham; Phong Minh Vu; Tung Thanh Nguyen; |
| 2015 | 19 | Tying Process Model Quality To The Modeling Process: The Impact Of Structuring, Movement, And Speed IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we describe the exploratory study to build these three conjectures, clarify the experimental set-up and infrastructure that was used to collect data, and explain the used metrics for the various concepts to test the conjectures empirically. |
JAN CLAES et. al. |
| 2015 | 20 | The XSAP Safety Analysis Platform IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper describes the xSAP safety analysis platform. |
BENJAMIN BITTNER et. al. |
| 2015 | 21 | Knowledge-based System For Collaborative Process Specification IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents an ontology-based approach for the design of a collaborative business process model (CBP). |
Frederick Benaben; Vatcharaphun Rajsiri; Jean-Pierre Lorré; Hervé Pingaud; |
| 2015 | 22 | Code Generator Composition For Model-Driven Engineering Of Robotics Component & Connector Systems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we sketch a conceptual model for code generator composition and show an instantiation of this model in the MontiArc- Automaton framework. |
Jan Oliver Ringert; Alexander Roth; Bernhard Rumpe; Andreas Wortmann; |
| 2015 | 23 | Enhancing Reuse Of Constraint Solutions To Improve Symbolic Execution IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present GreenTrie, an extension to the Green framework, which supports constraint reuse based on the logical implication relations among constraints. |
Xiangyang Jia; Carlo Ghezzi; Shi Ying; |
| 2015 | 24 | A Feature-based Classification Of Model Repair Approaches IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper proposes a feature-based classification system for model repair techniques, based on an systematic review of previously proposed approaches. |
Nuno Macedo; Tiago Jorge; Alcino Cunha; |
| 2015 | 25 | On End-to-End Program Generation From User Intention By Deep Neural Networks IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We demonstrate its feasibility through a case study and empirical analysis. |
Lili Mou; Rui Men; Ge Li; Lu Zhang; Zhi Jin; |
| 2015 | 26 | SAT-based Analysis Of Large Real-world Feature Models Is Easy IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: To better understand why SAT solvers are so effective, we systematically studied many syntactic and semantic characteristics of a representative set of large real-world FMs. |
Jia Hui Liang; Vijay Ganesh; Venkatesh Raman; Krzysztof Czarnecki; |
| 2015 | 27 | Automatic Repair Of Real Bugs: An Experience Report On The Defects4J Dataset IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, we report on an experiment to explore the effectiveness of automatic repair on Defects4J. |
Matias Martinez; Thomas Durieux; Jifeng Xuan; Romain Sommerard; Martin Monperrus; |
| 2015 | 28 | Benchmarking Machine Learning Technologies For Software Defect Detection IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This study used public available data sets of software modules and provides comparative performance analysis of different machine learning techniques for software bug prediction. |
Saiqa Aleem; Luiz Fernando Capretz; Faheem Ahmed; |
| 2015 | 29 | A Visual Analysis Of The Process Of Process Modeling IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper contributes to this research by presenting a way of visualizing the different steps a modeler undertakes to construct a process model, in a so-called process of process modeling Chart. |
JAN CLAES et. al. |
| 2015 | 30 | Understanding The Affect Of Developers: Theoretical Background And Guidelines For Psychoempirical Software Engineering IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Therefore, we have proposed to employ psychology theory and measurements in software engineering (SE) research. |
Daniel Graziotin; Xiaofeng Wang; Pekka Abrahamsson; |
| 2014 | 1 | Model-Driven Development Of Complex Software: A Research Roadmap IF:8 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. |
Robert France; Bernhard Rumpe; |
| 2014 | 2 | Learning Natural Coding Conventions IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present NATURALIZE, a framework that learns the style of a codebase, and suggests revisions to improve stylistic consistency. |
Miltiadis Allamanis; Earl T. Barr; Christian Bird; Charles Sutton; |
| 2014 | 3 | The UML As A Formal Modeling Notation IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics of UML notations and diagrams and describe a roadmap for this approach. |
Andy Evans; Robert France; Kevin Lano; Bernhard Rumpe; |
| 2014 | 4 | An Empirical Study On Software Defect Prediction With A Simplified Metric Set IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The objective of this work is to validate the feasibility of the predictor built with a simplified metric set for software defect prediction in different scenarios, and to investigate practical guidelines for the choice of training data, classifier and metric subset of a given project. |
Peng He; Bing Li; Xiao Liu; Jun Chen; Yutao Ma; |
| 2014 | 5 | MontiCore: A Framework For Compositional Development Of Domain Specific Languages IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this article, we discuss these arising issues by describing a framework for the compositional development of textual DSLs and their supporting tools. |
Holger Krahn; Bernhard Rumpe; Stefan Völkel; |
| 2014 | 6 | Limitations Of Agile Software Processes IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper identifies limitations that apply to many of the published agile processes in terms of the types of projects in which their application may be problematic. |
Dan Turk; Robert France; Bernhard Rumpe; |
| 2014 | 7 | Mining Idioms From Source Code IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present the first method for automatically mining code idioms from a corpus of previously written, idiomatic software projects. |
Miltiadis Allamanis; Charles Sutton; |
| 2014 | 8 | A Review Of Software Quality Models For The Evaluation Of Software Products IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The purpose of this article is to describe the main models with their strengths and point out some deficiencies. |
Jose P. Miguel; David Mauricio; Glen Rodriguez; |
| 2014 | 9 | A Critical Review Of Automatic Patch Generation Learned From Human-Written Patches: Essay On The Problem Statement And The Evaluation Of Automatic Software Repair IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In particular we discuss the main evaluation criteria of automatic software repair: understandability, correctness and completeness. |
Martin Monperrus; |
| 2014 | 10 | Automated Fixing Of Programs With Contracts IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. |
YU PEI et. al. |
| 2014 | 11 | Towards A Formalization Of The Unified Modeling Language IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT and OOSE and is intended as a standard in the domain of object oriented analysis and design Due to the missing formal mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely defined.This paper outlines a proposal for the formal foundation of UML that is based on a mathematical system model |
RUTH BREU et. al. |
| 2014 | 12 | Building Program Vector Representations For Deep Learning IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this pioneering paper, we propose the coding criterion to build program vector representations, which are the premise of deep learning for program analysis. |
LILI MOU et. al. |
| 2014 | 13 | Test Case Purification For Improving Fault Localization IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a novel concept of spectrum driven test case purification for improving fault localization. |
Jifeng Xuan; Martin Monperrus; |
| 2014 | 14 | Automatic Repair Of Buggy If Conditions And Missing Preconditions With SMT IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. |
Favio Demarco; Jifeng Xuan; Daniel Le Berre; Martin Monperrus; |
| 2014 | 15 | MontiCore: Modular Development Of Textual Domain Specific Languages IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we apply modularity concepts for domain specific languages (DSLs) and discuss how they help to design new languages by extending existing ones and composing fragments to new DSLs. |
Holger Krahn; Bernhard Rumpe; Stefan Völkel; |
| 2014 | 16 | A New Skill Based Robot Programming Language Using UML/P Statecharts IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper introduces the new robot programming language LightRocks (Light Weight Robot Coding for Skills), a domain specific language (DSL) for robot programming. |
Ulrike Thomas; Gerd Hirzinger; Bernhard Rumpe; Christoph Schulze; Andreas Wortmann; |
| 2014 | 17 | A Comparative Study Of Programming Languages In Rosetta Code IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this study, we use the largely untapped research potential of Rosetta Code, a code repository of solutions to common programming tasks in various languages, to draw a fair and well-founded comparison. |
Sebastian Nanz; Carlo A. Furia; |
| 2014 | 18 | An Introduction To Docker For Reproducible Research, With Examples From The R Environment IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: In this paper, I explore common reasons that code developed for one research project cannot be successfully executed or extended by subsequent researchers. |
Carl Boettiger; |
| 2014 | 19 | Do The Fix Ingredients Already Exist? An Empirical Inquiry Into The Redundancy Assumptions Of Program Repair Approaches IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we formalize these assumptions around the concept of ”temporal redundancy”. |
Matias Martinez; Westley Weimer; Martin Monperrus; |
| 2014 | 20 | A Survey On Software Testing Techniques Using Genetic Algorithm IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this research paper, we present a survey of GA approach for addressing the various issues encountered during software testing. |
Chayanika Sharma; Sangeeta Sabharwal; Ritu Sibal; |
| 2014 | 21 | MontiArc – Architectural Modeling Of Interactive Distributed And Cyber-Physical Systems IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This report presents MontiArc, a modeling language for the description of Component & Connector architectures. |
Arne Haber; Jan Oliver Ringert; Bernhard Rumpe; |
| 2014 | 22 | CD2Alloy: Class Diagrams Analysis Using Alloy Revisited IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. |
Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe; |
| 2014 | 23 | UML-F: A Modeling Language For Object-Oriented Frameworks IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. |
Marcus Fontoura; Wolfgang Pree; Bernhard Rumpe; |
| 2014 | 24 | A Cyber-Physical System-based Approach For Industrial Automation Systems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, a system-based approach for the development of IASs is adopted. |
Kleanthis Thramboulidis; |
| 2014 | 25 | A Survey Of Software Engineering Practices In Turkey (extended Version) IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Among the software engineering practices that we have surveyed in this study are the followings: software requirements, design, development, testing, maintenance, configuration management, release planning and support practices. |
Vahid Garousi; Ahmet Coşkunçay; Aysu Betin-Can; Onur Demirörs; |
| 2014 | 26 | The Making Of Cloud Applications An Empirical Study On Software Development For The Cloud IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: From our findings, we extracted a set of guidelines for cloud development and identified challenges for researchers and tool vendors. |
Jürgen Cito; Philipp Leitner; Thomas Fritz; Harald C. Gall; |
| 2014 | 27 | ADDiff: Semantic Differencing For Activity Diagrams IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we present addiff, a semantic differencing operator for ADs. |
Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe; |
| 2014 | 28 | First-Class Variability Modeling In Matlab/Simulink IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To counter these problems, we propose a modular variability modeling approach for Matlab/Simulink based on the concept of delta modeling [8, 9, 24]. |
ARNE HABER et. al. |
| 2014 | 29 | An Algebraic View On The Semantics Of Model Composition IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper describes a foundational theory of model composition in form of an algebra to explicitly clarify different variants and uses of composition, their interplay with the semantics of the involved models and their composition operators. |
Christoph Herrmann; Holger Krahn; Bernhard Rumpe; Martin Schindler; Steven Völkel; |
| 2014 | 30 | Integrated Definition Of Abstract And Concrete Syntax For Textual Languages IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we present an extended grammar format that avoids redundancy between concrete and abstract syntax by allowing an integrated definition of both for textual modeling languages. |
Holger Krahn; Bernhard Rumpe; Steven Völkel; |
| 2013 | 1 | Context Aware Computing For The Internet Of Things: A Survey IF:9 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we survey context awareness from an IoT perspective. |
Charith Perera; Arkady Zaslavsky; Peter Christen; Dimitrios Georgakopoulos; |
| 2013 | 2 | Predictive Monitoring Of Business Processes IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present an approach to analyze such event logs in order to predictively monitor business goals during business process execution. |
Fabrizio Maria Maggi; Chiara Di Francescomarino; Marlon Dumas; Chiara Ghidini; |
| 2013 | 3 | Mining Software Repair Models For Reasoning On The Search Space Of Automated Program Fixing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We set up mathematical reasoning on the search space of automated repair and the time to navigate through it. |
Matias Martinez; Martin Monperrus; |
| 2013 | 4 | Linking Software Development And Business Strategy Through Measurement IF:4 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: Most of today’s products and services are software-based. Organizations that develop software want to maintain and improve their competitiveness by controlling software-related … |
VICTOR R. BASILI et. al. |
| 2013 | 5 | CA4IOT Context Awareness For Internet Of Things IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose the Context Awareness for Internet of Things (CA4IOT) architecture to help users by automating the task of selecting the sensors according to the problems/tasks at hand. |
Charith Perera; Arkady Zaslavsky; Peter Christen; Dimitrios Georgakopoulos; |
| 2013 | 6 | Categorizing Bugs With Social Networks: A Case Study On Four Open Source Software Communities IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose an efficient and practical method to identify valid bug reports which a) refer to an actual software bug, b) are not duplicates and c) contain enough information to be processed right away. |
Marcelo Serrano Zanetti; Ingo Scholtes; Claudio Juan Tessone; Frank Schweitzer; |
| 2013 | 7 | Industrial-Strength Model-Based Testing – State Of The Art And Current Challenges IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: With respect to the former view, we describe the techniques for automated test case, test data and test procedure generation for concurrent reactive real-time systems which are considered as the most important enablers for MBT in practice. |
Jan Peleska; |
| 2013 | 8 | Exponential-Condition-Based Barrier Certificate Generation For Safety Verification Of Hybrid Systems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a new barrier certificate condition, called Exponential Condition, for the safety verification of semi-algebraic hybrid systems. |
Hui Kong; Fei He; Xiaoyu Song; William N. N. Hung; Ming Gu; |
| 2013 | 9 | Comparative Study On Agile Software Development Methodologies IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we significantly identify and describe the major factors, that Agile development approach improves software development process to meet the rapid changing business environments. |
A B M Moniruzzaman; Dr Syed Akhter Hossain; |
| 2013 | 10 | MintHint: Automated Synthesis Of Repair Hints IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present MintHint, a novel technique for program repair that is a departure from most of today’s approaches. |
Shalini Kaleeswaran; Varun Tulsian; Aditya Kanade; Alessandro Orso; |
| 2013 | 11 | Software Process Models And Analysis On Failure Of Software Development Projects IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, discussion is done on current process models and analysis on failure of software development, which shows the need of new research. |
Rupinder Kaur; Jyotsna Sengupta; |
| 2013 | 12 | Typing Linear Algebra: A Biproduct-oriented Approach IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category with biproducts. |
Hugo Daniel Macedo; José N. Oliveira; |
| 2013 | 13 | Developer Experience: Concept And Definition IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article motivates the importance of developer experience, sketches related approaches from other domains, proposes a definition of developer experience that is derived from similar concepts in other domains, describes an ongoing empirical study to better understand developer experience, and finally gives an outlook on planned future research activities. |
Fabian Fagerholm; Jürgen Münch; |
| 2013 | 14 | Artifact Lifecycle Discovery IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The methods presented in this paper are implemented as software plug-ins for ProM, a generic open-source framework and architecture for implementing process mining tools. |
Viara Popova; Dirk Fahland; Marlon Dumas; |
| 2013 | 15 | A Survey On The State Of The Practice In Distributed Software Development: Criteria For Task Allocation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article presents a qualitative study aimed at identifying and understanding such criteria that are used in practice. |
Ansgar Lamersdorf; Jürgen Münch; Dieter Rombach; |
| 2013 | 16 | Automatic Instantiation Of Abstract Tests On Specific Configurations For Large Critical Control Systems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). |
Francesco Flammini; Nicola Mazzocca; Antonio Orazzo; |
| 2013 | 17 | The Role Of Emotions In Contributors Activity: A Case Study On The GENTOO Community IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We analyse the relation between the emotions and the activity of contributors in the Open Source Software project Gentoo. |
David Garcia; Marcelo Serrano Zanetti; Frank Schweitzer; |
| 2013 | 18 | Accelerating Parametric Probabilistic Verification IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present a novel method for computing reachability probabilities of parametric discrete-time Markov chains whose transition probabilities are fractions of polynomials over a set of parameters. |
NILS JANSEN et. al. |
| 2013 | 19 | The Sensemaking-Coevolution-Implementation Theory Of Software Design IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This theory development paper defines and illustrates Sensemaking-Coevolution-Implementation Theory, grounds its concepts and relationships in existing literature, conceptually evaluates the theory and situates it in the broader context of information systems development. |
Paul Ralph; |
| 2013 | 20 | Action Research Can Swing The Balance In Experimental Software Engineering IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, a discussion on the use of Action Research in Software Engineering is presented. |
Paulo Sergio Medeiros dos Santos; Guilherme Horta Travassos; |
| 2013 | 21 | Multi Criteria Decision Making Approach For Selecting Effort Estimation Model IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, the comparison of Analytic Hierarchy Process and Fuzzy Analytic Hierarchy Process is concluded using a case study of selection of effort estimation model. |
Sumeet Kaur Sehra; Dr. Yadwinder Singh Brar; Dr. Navdeep Kaur; |
| 2013 | 22 | Towards Statistical Prioritization For Software Product Lines Testing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: To reduce the number of products to test, sampling techniques such as combinatorial interaction testing have been proposed. |
XAVIER DEVROEY et. al. |
| 2013 | 23 | Modelling Families Of Business Process Variants: A Decomposition Driven Method IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper introduces a method for modelling families of process variants that addresses this trade-off. |
Fredrik Milani; Marlon Dumas; Naved Ahmed; Raimundas Matulevičius; |
| 2013 | 24 | Automatically Extracting Instances Of Code Change Patterns With AST Analysis IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we present a novel approach for search patterns instances from software history. |
Matias Martinez; Laurence Duchien; Martin Monperrus; |
| 2013 | 25 | Are Happy Developers More Productive? The Correlation Of Affective States Of Software Developers And Their Self-assessed Productivity IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we report an empirical study on the impact of affective states on software developers’ performance while programming. |
Daniel Graziotin; Xiaofeng Wang; Pekka Abrahamsson; |
| 2013 | 26 | Towards A Software Product Sustainability Model IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this sense we think is fundamental to define what we consider that is software sustainability and how to evaluate it properly. |
Coral Calero; M. Angeles Moraga; Manuel F. Bertoa; |
| 2013 | 27 | Feature-Gathering Dependency-Based Software Clustering Using Dedication And Modularity IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we proposed a novel dependency-based software clustering algorithm, SArF. |
Kenichi Kobayashi; Manabu Kamimura; Koki Kato; Keisuke Yano; Akihiko Matsuo; |
| 2013 | 28 | Detecting Missing Method Calls As Violations Of The Majority Rule IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we provide a comprehensive set of empirical facts on this problem, starting from traces of missing method calls in a bug repository. |
Martin Monperrus; Mira Mezini; |
| 2013 | 29 | Real-Time Specification Patterns And Tools IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a set of specification patterns that can be used to express real-time requirements commonly found in the design of reactive systems. |
Nouha Abid; Silvano Dal Zilio; Didier Le Botlan; |
| 2013 | 30 | The Illusion Of Requirements In Software Development IF:3 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: It is widely accepted that understanding system requirements is important for software development project success. However, this paper presents two novel challenges to the … |
Paul Ralph; |
| 2012 | 1 | Concurrent Object-oriented Development With Behavioral Design Patterns IF:6 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Architectural modeling using the Unified Modeling Language (UML) can support the development process, but the problem of mapping the model to a concurrent implementation remains. |
Benjamin Morandi; Scott West; Sebastian Nanz; Hassan Gomaa; |
| 2012 | 2 | A Simulation Model For The Waterfall Software Development Life Cycle IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper proposes a simulation model for the Waterfall development process using the Simphony.NET simulation tool whose role is to assist project managers in determining how to achieve the maximum productivity with the minimum number of expenses, workers, and hours. |
Youssef Bassil; |
| 2012 | 3 | Dexpler: Converting Android Dalvik Bytecode To Jimple For Static Analysis With Soot IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. |
Alexandre Bartel; Jacques Klein; Martin Monperrus; Yves Le Traon; |
| 2012 | 4 | @tComment: Testing Javadoc Comments To Detect Comment-Code Inconsistencies IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: This paper has been withdrawn by the author. … |
Shin Hwei Tan; Darko Marinov; Lin Tan; Gary T. Leavens; |
| 2012 | 5 | Software Mutational Robustness IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts Related Code View Highlight: The paper describes empirical studies of the mutational robustness of 22 programs, including 14 production software projects, the Siemens benchmarks, and 4 specially constructed programs. |
Eric Schulte; Zachary P. Fry; Ethan Fast; Westley Weimer; Stephanie Forrest; |
| 2012 | 6 | Model-Based Security Testing IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS. |
Ina Schieferdecker; Juergen Grossmann; Martin Schneider; |
| 2012 | 7 | What Should Developers Be Aware Of? An Empirical Study On The Directives Of API Documentation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents the design and the results of an empirical study on the directives of API documentation of object-oriented libraries. |
Martin Monperrus; Michael Eichberg; Elif Tekes; Mira Mezini; |
| 2012 | 8 | Loop Invariants: Analysis, Classification, And Examples IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article analyzes the patterns, as uncovered in this study, governing how invariants are derived from postconditions; it proposes a taxonomy of invariants according to these patterns, and presents its application to the algorithms reviewed. |
Carlo A. Furia; Bertrand Meyer; Sergey Velder; |
| 2012 | 9 | Consistent Layout For Thematic Software Maps IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose a consistent layout for software maps in which the position of a software artifact reflects its \emph{vocabulary}, and distance corresponds to similarity of vocabulary. |
Adrian Kuhn; Peter Loretan; Oscar Nierstrasz; |
| 2012 | 10 | An Exploratory Study Of Forces And Frictions Affecting Large-Scale Model-Driven Development IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we investigate model-driven engineering, reporting on an exploratory case-study conducted at a large automotive company. |
Adrian Kuhn; Gail C. Murphy; C. Albert Thompson; |
| 2012 | 11 | A Case Study On Formal Verification Of Self-Adaptive Behaviors In A Decentralized System IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present a case study in which we use model checking to verify behavioral properties of a decentralized self-adaptive system. |
M. Usman Iftikhar; Danny Weyns; |
| 2012 | 12 | Elegant Object-oriented Software Design Via Interactive, Evolutionary Computation IF:3 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: Design is fundamental to software development but can be demanding to perform. Thus to assist the software designer, evolutionary computing is being increasingly applied using … |
Christopher L. Simons; Ian C. Parmee; |
| 2012 | 13 | Legacy Software Restructuring: Analyzing A Concrete Case IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we study a real structuring case (on the Eclipse platform) to try to better understand if (some) existing metrics would have helped the software engineers in the task. |
Nicolas Anquetil; Jannik Laval; |
| 2012 | 14 | Semi-Automatically Extracting FAQs To Improve Accessibility Of Software Development Knowledge IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: As creating such documents is expensive, this paper presents an approach for automatically extracting FAQs from sources of software development discussion, such as mailing lists and Internet forums, by combining techniques of text mining and natural language processing. |
Stefan Henß; Martin Monperrus; Mira Mezini; |
| 2012 | 15 | Category Theory And Model-Driven Engineering: From Formal Semantics To Design Patterns And Beyond IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We will present examples of how an elementary categorical arrangement of a model management scenario reveals deficiencies in the architecture of modern tools automating the scenario. |
Zinovy Diskin; Tom Maibaum; |
| 2012 | 16 | Study Paper On Test Case Generation For GUI Based Testing IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Intent of this paper is to study some techniques used for test case generation and process for various GUI based software applications. |
A. Isabella; Emi Retna; |
| 2012 | 17 | What Good Are Strong Specifications? IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We introduce a methodology that extends Design by Contract to write strong specifications of functional properties in the form of preconditions, postconditions, and invariants. |
Nadia Polikarpova; Carlo A. Furia; Yu Pei; Yi Wei; Bertrand Meyer; |
| 2012 | 18 | From User Requirements To UML Class Diagram IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper proposes an approach to facilitate class diagram extraction from textual requirements using NLP techniques and domain ontology. |
Hatem Herchi; Wahiba Ben Abdessalem; |
| 2012 | 19 | Defect Management Strategies In Software Development IF:3 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: Software is a unique entity that has laid a strong impact on all other fields either related or not related to software. These include medical, scientific, business, educational, … |
V. Suma; T. R. Gopalakrishnan Nair; |
| 2012 | 20 | Mining Event Logs To Support Workflow Resource Allocation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents a data mining approach to address the resource allocation problem (RAP) and improve the productivity of workflow resource management. |
Tingyu Liu; Yalong Cheng; Zhonghua Ni; |
| 2012 | 21 | Lessons Learned From Microkernel Verification — Specification Is The New Bottleneck IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we report on lessons learned for verification of large software systems based on the experience gained in microkernel verification in the Verisoft XT project. |
Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer; |
| 2012 | 22 | Evaluating CRM Implementation In Healthcare Organization IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper discusses and demonstrates how a new approach in CRM based on Web 2.0 will help the healthcare providers improving their customer support, avoiding conflict, and promoting better health to patient. |
Muhammad Anshari; Mohammad Nabil Almunawar; |
| 2012 | 23 | Web Service Selection Based On Ranking Of Qos Using Associative Classification IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present an overall service selection and ranking framework which firstly classify candidate web services to different QoS levels respect to user’s QoS requirements and preferences with an Associative Classification algorithm and then rank the most qualified candidate services based on their functional quality through semantic matching. |
Molood Makhlughian; Seyyed Mohsen Hashemi; Yousef Rastegari; Emad Pejman; |
| 2012 | 24 | Bypassing The Combinatorial Explosion: Using Similarity To Generate And Prioritize T-wise Test Suites For Large Software Product Lines IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper offers (a) a search-based approach capable of generating products for large SPLs, forming a scalable and flexible alternative to current techniques and (b) prioritization algorithms for any set of products. |
CHRISTOPHER HENARD et. al. |
| 2012 | 25 | Querying Source Code With Natural Language IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper presents an approach for querying source code with natural language. |
Markus Kimmig; Martin Monperrus; Mira Mezini; |
| 2012 | 26 | Formally Checking Large Data Sets In The Railways IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This article presents industrial experience of validating large data sets against specification written using the B / Event-B mathematical language and the ProB model checker. |
Thierry Lecomte; Lilian Burdy; Michael Leuschel; |
| 2012 | 27 | Verified System Development With The AutoFocus Tool Chain IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles emphasizing the verification of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators. |
Maria Spichkova; Florian Hölzl; David Trachtenherz; |
| 2012 | 28 | Using Constraints For Equivalent Mutant Detection IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we introduce a method for solving the equivalent mutant problem using a constraint representation of the program and its mutant. |
Simona Nica; Franz Wotawa; |
| 2012 | 29 | Contracts In Practice IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The present study investigates how contracts are used in the practice of software development. |
H. -Christian Estler; Carlo A. Furia; Martin Nordio; Marco Piccioni; Bertrand Meyer; |
| 2012 | 30 | CMS Workflow Execution Using Intelligent Job Scheduling And Data Access Strategies IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a pilot job based infrastructure that has intelligent data reuse and job execution strategies to minimize the scheduling, queuing, execution and data access latencies. |
KHAWAR HASHAM et. al. |
| 2011 | 1 | Large-scale Complex IT Systems IF:5 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper explores the issues around the construction of large-scale complex systems which are built as ‘systems of systems’ and suggests that there are fundamental reasons, derived from the inherent complexity in these systems, why our current software engineering methods and techniques cannot be scaled up to cope with the engineering challenges of constructing such systems. |
IAN SOMMERVILLE et. al. |
| 2011 | 2 | Stochastic Semantics And Statistical Model Checking For Networks Of Priced Timed Automata IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: A second contribution of the paper is the application of Statistical Model Checking (SMC) to efficiently estimate the correctness of non-nested PWCTL model checking problems with a desired level of confidence, based on a number of independent runs of the NPTA. |
ALEXANDRE DAVID et. al. |
| 2011 | 3 | Decentralised LTL Monitoring IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The main contribution of this paper is an algorithm for distributing and monitoring LTL formulae, such that satisfac- tion or violation of specifications can be detected by local monitors alone. |
Andreas Bauer; Yliès Falcone; |
| 2011 | 4 | Automated Software Testing Using Metahurestic Technique Based On An Ant Colony Optimization IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Aim of the current paper is to present an algorithm by applying an ant colony optimization technique, for generation of optimal and minimal test sequences for behavior specification of software. |
Praveen Ranjan Srivastava; Km Baby; |
| 2011 | 5 | Modelling And Simulation Of Asynchronous Real-Time Systems Using Timed Rebeca IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. |
LUCA ACETO et. al. |
| 2011 | 6 | MCA Based Performance Evaluation Of Project Selection IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper deals with a new additive ratio assessment method. |
Tuli Bakshi; Bijan Sarkar; |
| 2011 | 7 | Integrating Testing And Interactive Theorem Proving IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present a synergistic integration of testing with theorem proving, implemented in the ACL2 Sedan (ACL2s), for automatically generating concrete counterexamples. |
Harsh Raju Chamarthi; Peter C. Dillinger; Matt Kaufmann; Panagiotis Manolios; |
| 2011 | 8 | Code-based Automated Program Fixing IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Applications of AutoFix-E2 to general-purpose software, such as a library to manipulate documents, show that the approach provides an improvement over previous techniques, in particular purely model-based approaches. |
Yu Pei; Yi Wei; Carlo A. Furia; Martin Nordio; Bertrand Meyer; |
| 2011 | 9 | A Comprehensive Study Of Commonly Practiced Heavy And Light Weight Software Methodologies IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The aim of this paper is to describe the characteristics of popular heavyweight and lightweight methodologies that are widely practiced in software industries. |
Asif Irshad Khan; Rizwan Jameel Qurashi; Usman Ali Khan; |
| 2011 | 10 | Maximal Structuring Of Acyclic Process Models IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The paper gives a full characterization of the subclass of acyclic process models that have no equivalent well-structured representation but do have an equivalent maximally-structured one, as well as proposes a complete structuring method. |
Artem Polyvyanyy; Luciano García-Bañuelos; Dirk Fahland; Mathias Weske; |
| 2011 | 11 | Exact Safety Verification Of Hybrid Systems Using Sums-Of-Squares Representation IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. |
Wang Lin; Min Wu; Zhengfeng Yang; Zhenbing Zeng; |
| 2011 | 12 | Lightweight Service Oriented Architecture For Pervasive Computing IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: After demonstrating that SOA (Service oriented Architecture) and its numerous principles are well adapted for pervasive computing, we present our extended SOA model for pervasive computing, called Service Lightweight Component Architecture (SLCA). |
Jean-Yves Tigli; Stephane Lavirotte; Gaetan Rey; Vincent Hourdin; Michel Riveill; |
| 2011 | 13 | Do Software Languages Engineers Evaluate Their Languages? IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present a systematic review on articles published in top ranked venues, from 2001 to 2008, which report DSLs’ construction, to characterize the common practice. |
Pedro Gabriel; Miguel Goulão; Vasco Amaral; |
| 2011 | 14 | Program Slicing Techniques And Its Applications IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper focuses on the various slicing techniques (not limited to) like static slicing, quasi static slicing, dynamic slicing and conditional slicing. |
N. Sasirekha; A. Edwin Robert; Dr. M. Hemalatha; |
| 2011 | 15 | QuantUM: Quantitative Safety Analysis Of UML Models IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. |
Florian Leitner-Fischer; Stefan Leue; |
| 2011 | 16 | To Parallelize Or Not To Parallelize, Speed Up Issue IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we discuss the issue of speed up gained from parallelization using Message Passing Interface (MPI) to compromise between the overhead of parallelization cost and the gained parallel speed up. |
Alaa Ismail Elnashar; |
| 2011 | 17 | Abstracting Path Conditions IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We present a symbolic-execution-based algorithm that for a given program and a given program location produces a nontrivial necessary condition on input values to drive the program execution to the given location. |
Jan Strejček; Marek Trtík; |
| 2011 | 18 | Collaborative Software Development On The Web IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This contribution describes a new paradigm: cloud-based development, which caters to the specific needs of distributed and collaborative projects. |
Martin Nordio; H. -Christian Estler; Carlo A. Furia; Bertrand Meyer; |
| 2011 | 19 | Stateful Testing: Finding More Errors In Code And Contracts IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Stateful testing, the automated testing technique introduced in this article, generates new test cases that improve an existing test suite. |
YI WEI et. al. |
| 2010 | 1 | Analysis Of Empirical Software Effort Estimation Models IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The goal of this paper is to study the empirical software effort estimation. |
Saleem Basha; Dhavachelvan Ponnurangam; |
| 2010 | 2 | Code Quality Evaluation Methodology Using The ISO/IEC 9126 Standard IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This work proposes a methodology for source code quality and static behaviour evaluation of a software system, based on the standard ISO/IEC-9126. |
YIANNIS KANELLOPOULOS et. al. |
| 2010 | 3 | Software Effort Estimation Using Radial Basis And Generalized Regression Neural Networks IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: A case study based on the COCOMO81 database compares the proposed neural network models with the Intermediate COCOMO. |
P. V. G. D. Prasad Reddy; K. R. Sudha; P. Rama Sree; S. N. S. V. S. C. Ramesh; |
| 2010 | 4 | Distributed Agile Software Development: A Review IF:4 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We discuss the challenges faced by geographically distributed agile teams and proven practices to address these issues, which will help in building a successful distributed team. |
Suprika Vasudeva Shrivastava; Hema Date; |
| 2010 | 5 | Maintainability Estimation Model For Object-Oriented Software In Design Phase (MEMOOD) IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper developed a multivariate linear model ‘Maintainability Estimation Model for Object-Oriented software in Design phase’ (MEMOOD), which estimates the maintainability of class diagrams in terms of their understandability and modifiability. |
S. W. A. Rizvi; R. A. Khan; |
| 2010 | 6 | Towards Physical Laws For Software Architecture IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this article I apply the methods developed for the classification of information on the World-Wide-Web to study the organization of Open Source programs in an attempt to establish the statistical laws governing software architecture. |
A. D. Chepelianskii; |
| 2010 | 7 | Automated Co-evolution Of GMF Editor Models IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We analyze the resulting co-evolution challenge, and we provide a transformation-based solution, say GMF model adapters, that serve the propagation of abstract-syntax changes based on the interpretation of difference models. |
Davide Di Ruscio; Ralf Lämmel; Alfonso Pierantonio; |
| 2010 | 8 | Formalization Of The Data Flow Diagram Rules For Consistency Check IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we focus on DFD and its rules for drawing and defining the diagrams. |
Rosziati Ibrahim; Siow Yen yen; |
| 2010 | 9 | Support For Evolving Software Architectures In The ArchWare ADL IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The contribution of the work is the unique combination of concepts including: a {\pi}-calculus based communication and expression language for specifying executable architectures; hyper-code as an underlying representation of system execution that can be used for introspection; a decomposition operator to incrementally break up executing systems; and structural reflection for creating new components and binding them into running systems. |
RON MORRISON et. al. |
| 2010 | 10 | Effective Defect Prevention Approach In Software Process For Achieving Better Quality Levels IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The main aim of this paper is to provide information on various methods and practices supporting defect detection and prevention leading to thriving software generation. |
V. Suma; T. R. Gopalakrishnan Nair; |
| 2010 | 11 | Optimized Fuzzy Logic Based Framework For Effort Estimation In Software Development IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we present an optimized fuzzy logic based framework for software development effort prediction. |
Vishal Sharma; Harsh Kumar Verma; |
| 2010 | 12 | On Modelling And Analysis Of Dynamic Reconfiguration Of Dependable Real-Time Systems IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: A simple case study is developed to illustrate the modelling power of these two formalisms. |
Manuel Mazzara; Anirban Bhattacharyya; |
| 2010 | 13 | Exploring The Impact Of Socio-Technical Core-Periphery Structures In Open Source Software Development IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper we apply the social network concept of core-periphery structure to the sociotechnical structure of a software development team. |
Chintan Amrit; Jos van Hillegersberg; |
| 2010 | 14 | Multiple Criteria Decision-Making Preprocessing Using Data Mining Tools IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: The aim of this paper is to introduce the classification task of data mining as an effective option for identifying the most effective variables of the MCDM systems. |
A. Mosavi; |
| 2010 | 15 | Detecting Coordination Problems In Collaborative Software Development Environments IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: We propose a method and a tool that a project manager can use in order to detect the socio-technical coordination problems. |
Chintan Amrit; Jos van Hillegersberg; |
| 2010 | 16 | Service-Oriented Simulation Framework: An Overview And Unifying Methodology IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we propose a novel three-dimensional reference model for a service-oriented simulation paradigm. |
Wenguang Wang; Weiping Wang; Yifan Zhu; Qun Li; |
| 2010 | 17 | A Complexity Measure Based On Requirement Engineering Document IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper attempts to empirically demonstrate the proposed complexity which is based on IEEE Requirement Engineering document. |
Ashish Sharma; D. S. Kushwaha; |
| 2010 | 18 | Mayavi: A Package For 3D Visualization Of Scientific Data IF:3 Summary Related Papers Related Patents Related Grants Related Venues Related Experts View Abstract: Mayavi is an open-source, general-purpose, 3D scientific visualization package. It seeks to provide easy and interactive tools for data visualization that fit with the scientific … |
Prabhu Ramachandran; Gaël Varoquaux; |
| 2010 | 19 | A Model Of Cloud Based Application Environment For Software Testing IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this work, a cloud computing model for software testing is developed. |
T. Vengattaraman; P. Dhavachelvan; R. Baskaran; |
| 2010 | 20 | A Metrics Based Model For Understandability Quantification IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Two major contributions are made in the paper. |
Mohd Nazir; Raees A. Khan; Khurram Mustafa; |
| 2010 | 21 | A Structured Framework For Assessing The Goodness Of Agile Methods IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this research, we focus on assessing the goodness of an agile method adopted by an organization based on (1) its adequacy, (2) the capability of the organization to provide the supporting environment to competently implement the method, and (3) its effectiveness. |
Shvetha Soundararajan; James. D. Arthur; |
| 2010 | 22 | Studying The Feasibility And Importance Of Software Testing: An Analysis IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. |
S. S. Riaz Ahamed; |
| 2010 | 23 | The Emerging Web Of Social Machines IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This work is not a theoretical paper as yet; but, in more than one sense, we think we have found a way to describe web based information systems and are starting to work on what could be a practical way of dealing with the complexity of this emerging web of social machines that is all around us. |
SILVIO R. L. MEIRA et. al. |
| 2010 | 24 | Using Entropy Measures For Comparison Of Software Traces IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper proposes the use of word entropies for the classification of software traces. |
A. V. Miranskyy; M. Davison; M. Reesor; S. S. Murtaza; |
| 2010 | 25 | Code Forking In Open-source Software: A Requirements Perspective IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: In this paper, we describe a mixed-methods exploratory case study that investigated the process of forking a project. |
Neil A. Ernst; Steve Easterbrook; John Mylopoulos; |
| 2010 | 27 | Specifying Reusable Components IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of reusable components. |
Nadia Polikarpova; Carlo A. Furia; Bertrand Meyer; |
| 2010 | 28 | Bayesian Network Based XP Process Modelling IF:3 Related Papers Related Patents Related Grants Related Venues Related Experts View Highlight: A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. |
Mohamed Abouelela; Luigi Benedicenti; |