Write a Blog >>
Events (39 results)

All Your App Links Are Belong to Us: Understanding the Threats of Instant Apps Based Attacks

Research Papers When: Fri 13 Nov 2020 08:00 - 08:02 People: Yutian Tang, Yulei Sui, Haoyu Wang, Xiapu Luo, Hao Zhou, Zhou Xu

… % apps are vulnerable to \textit{link hijacking without STS}, and all instant apps … the proposed hijackings for all the evaluated apps, thus raising the bar against …

Calm Energy Accounting for Multithreaded Java Applications

Research Papers When: Tue 10 Nov 2020 17:33 - 17:34 People: Timur Babakol, Anthony Canino, Khaled Mahmoud, Rachit Saxena, Yu David Liu

… an energy footprint, i.e., the relative energy consumption of all programming …, a specific method, Chappie is total: the energy footprint encompasses all … incurring negligible overhead. In addition, all results are produced with a high …

Developing and Evaluating Objective Termination Criteria for Random Testing

Journal First When: Fri 13 Nov 2020 08:05 - 08:06 People: Porfirio Tramontana, Domenico Amalfitano, Nicola Amatucci, Atif Memon, Anna Rita Fasolino

… termination criteria, “All Equivalent” (AEQ) and “All Included in One” (AIO), applicable …

Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems

Research Papers When: Tue 10 Nov 2020 08:37 - 08:38 People: Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boystov, Yves Le Traon, Anne Goujon

… numbers of adversarial data, these are practically useless as they all violate domain-specific constraints. In other words, the generated examples are all

Evolutionary Improvement of Assertion Oracles

Research Papers When: Fri 13 Nov 2020 08:35 - 08:36 People: Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezze

… Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions. Because designing perfect assertion oracles …

Real world approaches to human-computer collaboration

Plenary events When: Thu 12 Nov 2020 17:00 - 18:00 People: Mira Lane

all know that we must tread intentionally in this new era. Should we aim …

Closing the Gap Between Software Engineering Education and Industrial Needs

Journal First When: Tue 10 Nov 2020 08:03 - 08:04 People: Vahid Garousi, Görkem Giray, Eray Tüzün, Çağatay Çatal, Michael Felderer

… the findings of 33 studies in this area. By doing a meta-analysis of all those …

SOSRepair: Expressive Semantic Search for Real-World Program Repair

Journal First When: Thu 12 Nov 2020 01:35 - 01:36 People: Afsoon Afzal, Manish Motwani, Kathryn Stolee, Yuriy Brun, Claire Le Goues

… %) that pass all independent tests than the prior techniques. We demonstrate a relationship between patch granularity and the ability to produce patches that pass all … SOSRepair to patch 23 (35%) defects, of which 16 (70%) pass all independent tests. We …

HISyn: Human Learning-Inspired Natural Language Programming

Research Papers When: Fri 13 Nov 2020 01:32 - 01:34 People: Zifan Nan, Hui Guan, Xipeng Shen

… Natural Language (NL) programming automatically synthesizes code based on inputs expressed in natural language. It has recently received lots of growing interest. Recent solutions however all require many labeled training examples …

PCA: Memory Leak Detection using Partial Call-Path Analysis

Tool Demos When: Fri 13 Nov 2020 01:05 - 01:06 People: Wen Li, Haipeng Cai, Yulei Sui, David Manz

… -flow analyses with a lightweight design. Most of all, it features a partial call …

Dynamic Slicing for Deep Neural Networks

Research Papers When: Tue 10 Nov 2020 01:37 - 01:38 People: Ziqi Zhang, Yuanchun Li, Yao Guo, Xiangqun Chen, Yunxin Liu

… protection. In all applications,
NNSlicer significantly outperforms other …

Mining Input Grammars from Dynamic Control Flow

Research Papers When: Thu 12 Nov 2020 08:07 - 08:08 People: Rahul Gopinath, Björn Mathis, Andreas Zeller

… at different locations of the input parser. This works on all stack based recursive …

MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays

Tool Demos When: Fri 13 Nov 2020 01:37 - 01:38 People: Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang

… constraints in which all arrays have a finite length. We employ reductions from …

Intelligent REST API Data Fuzzing

Research Papers When: Tue 10 Nov 2020 08:11 - 08:12 People: Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk

… into 17 unique bugs and reported to Azure developers. All these bugs are reproducible …

Docable: Evaluating the Executability of Software Tutorials

Research Papers When: Fri 13 Nov 2020 01:37 - 01:38 People: Samim Mirhosseini, Chris Parnin

… —still yields no tutorial that can successfully execute all steps. We identify …

Detecting and Understanding JavaScript Global Identifier Conflicts on the Web

Research Papers When: Tue 10 Nov 2020 01:05 - 01:06 People: Mingxue Zhang, Wei Meng

… JavaScript is widely used for implementing client-side web applications, and it is common to include JavaScript code from many different hosts. However, in a web browser, all the scripts loaded in the same frame share a single global …

UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel

Research Papers When: Fri 13 Nov 2020 01:09 - 01:10 People: Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu

… initialization status along all the possible program execution paths to its uses …

Establishing Key Performance Indicators for Measuring Software-Development Processes at a Large Organization

Industry Papers When: Wed 11 Nov 2020 17:07 - 17:08 People: Cem Sürücü, Bianying Song, Jacob Krüger, Gunter Saake, Thomas Leich

… be implemented at and accepted by all relevant organizational units. In this paper …

Dimensions of Software Configuration: On the Configuration Context in Modern Software Development

Research Papers When: Tue 10 Nov 2020 17:03 - 17:04 People: Norbert Siegmund, Nicolai Ruckel, Janet Siegmund

… among all views, arriving at the conclusion that we need to start considering …

Fuzzing: On the Exponential Cost of Vulnerability Discovery

Research Papers When: Tue 10 Nov 2020 08:07 - 08:08 People: Marcel Böhme, Brandon Falk

… \emph{all known bugs} in half the time. Yet, finding linearly \emph{more bugs …

Community Expectations for Research Artifacts and Evaluation Processes

Research Papers When: Tue 10 Nov 2020 17:03 - 17:04 People: Ben Hermann, Stefan Winter, Janet Siegmund

… .
Method. We conducted a survey including all members of artifact evaluation …

Unveiling Elite Developers’ Activities in Open Source Projects

Journal First When: Wed 11 Nov 2020 17:12 - 17:14 People: Zhendong Wang, Yang Feng, Yi Wang, James Jones, David Redmiles

all prior research focuses on specific activities and fails to analyze elite …

ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code

Research Papers When: Fri 13 Nov 2020 01:00 - 01:02 People: Sahar Badihi, Faridah Akinotcho, Yi Li, Julia Rubin

… by solving 86% of all equivalent and 55% of non-equivalent cases, compared with 47 …

Identifying Key Developers using Artifact Traceability Graphs

PROMISE 2020 When: Fri 6 Nov 2020 16:20 - 16:40 People: H. Alperen Çetin, Eray Tüzün

… and connectors. A typical jack (of all trades) has a broad knowledge of the project …

Selecting Fault Revealing Mutants

Journal First When: Fri 13 Nov 2020 08:11 - 08:12 People: Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen

all the existing mutant selection methods, i.e., the random mutant sampling …

Mining Assumptions for Software Components using Machine Learning

Research Papers When: Thu 12 Nov 2020 08:05 - 08:06 People: Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel Briand, David Wolfe

… Software verification approaches aim to check a software component under analysis for all possible environments. In reality, however, components are expected to operate within a larger system and are required to satisfy their requirements …

Detecting Numerical Bugs in Neural Network Architectures

Research Papers When: Tue 10 Nov 2020 01:35 - 01:36 People: Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie

… on accuracy without losing scalability. DEBAR successfully detects all known …

Heard It through the Gitvine: An Empirical Study of Tool Diffusion across the npm Ecosystem

Research Papers When: Wed 11 Nov 2020 01:09 - 01:10 People: Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, Bogdan Vasilescu

… Automation tools like continuous integration services, code coverage reporters, style checkers, dependency managers, etc. are all known to provide significant improvements in developer productivity and software quality. Some of these tools …

On the Relationship between Design Discussions and Design Quality: A Case Study of Apache Projects

Research Papers When: Tue 10 Nov 2020 17:05 - 17:06 People: Umme Ayda Mannan, Iftekhar Ahmed, Carlos Jensen, Anita Sarma

… analysis (data mining and a survey of 130 developers) shows that: I) 89.51% of all

Understanding Type Changes in Java

Research Papers When: Fri 13 Nov 2020 01:11 - 01:12 People: Ameya Ketkar, Nikolaos Tsantalis, Danny Dig

… Developers frequently change the type of a program element and update all its references for performance, security, concurrency,library migration, or better maintainability. Despite type changes being a common program transformation …

Automatically Identifying Performance Issue Reports with Heuristic Linguistic Patterns

Research Papers When: Tue 10 Nov 2020 17:30 - 17:32 People: Yutong Zhao, Lu Xiao, Pouria Babvey, Lei Sun, Sunny Wong, Angel A. Martinez, Xiao Wang

… Performance issues compromise the response time and resource consumption of a software system. Modern software systems use issue tracking systems to manage all kinds of issue reports, including performance issues.
The problem …

A Taxonomy to Assess and Tailor Risk-based Testing in Recent Testing Standards

Journal First When: Fri 13 Nov 2020 08:30 - 08:32 People: Juergen Grossmann, Michael Felderer, Johannes Viehmann, Ina Schieferdecker

… product as the guiding factor to steer all phases of a test process, i.e., test … of the requirements. However, there are differences between the approaches, and not all

Towards transferring Lean Software Startup Practices in Software Engineering Education

Paper Presentations When: Tue 10 Nov 2020 08:11 - 08:12 People: Orges Cico

… \textbf{Context}: In the modern economy, software drives innovation and economic growth. Studies show how software increasingly influences all industry sectors. During the last five decades, software engineering has also changed …

Efficient Binary-Level Coverage Analysis

Research Papers When: Fri 13 Nov 2020 08:07 - 08:08 People: M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz

… instrumentation policies, with different edge-level precision, are used to patch all

Towards transferring Lean Software Startup Practices in Software Engineering Education

Doctoral Symposium When: Mon 9 Nov 2020 19:00 - 19:30 People: Ján Čegiň, Orges Cico

… \textbf{Context}: In the modern economy, software drives innovation and economic growth. Studies show how software increasingly influences all industry sectors. During the last five decades, software engineering has also changed …

Evaluating Hyper-Parameter Tuning using Random Search in Support Vector Machines for Software Effort Estimation

PROMISE 2020 When: Thu 5 Nov 2020 17:25 - 17:45 People: Leonardo Villalobos-Arias, Christian Quesada-López, Jose Guevara-Coto, Alexandra Martinez, Marcelo Jenkins

… transformation, and SVR was the most effective approach in all studied data sets. Moreover …

CrFuzz: Fuzzing Multi-purpose Programs through Input Validation

Research Papers When: Tue 10 Nov 2020 08:03 - 08:04 People: Suhwan Song, Chengyu Song, Yeongjin Jang, Byoungyoung Lee

… , all of which are targets of Google's OSS-Fuzz project
and thus heavily …

Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs

Journal First When: Fri 13 Nov 2020 08:37 - 08:38 People: Yunho Kim, Seokhyeon Moon, Shin Yoo, Moonzoo Kim

… entities. All such information is used by GP to train a ranking model for fault …

How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems

Industry Papers When: Wed 11 Nov 2020 01:05 - 01:06 People: Jiajun Jiang, Weihai Lu, Junjie Chen, Qingwei Lin, Pu Zhao, Yu Kang, Hongyu Zhang, Yingfei Xiong, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang

… the distribution and characteristics of TSGs among all incident records in the past two …