javascript IEEE PAPER 2019





JavaScript, often abbreviated as JS, is a high-level, interpreted programming language that conforms to the ECMAScript specification. JavaScript has curly-bracket syntax, dynamic typing, prototype-based object-orientation, and first-class functions

IDVE: an Integrated Development and Verification Environment for JavaScript
free download

Program verifiers statically check programs based on

Open source software development should strive for even greater code maintainability
free download

Unlike the traditional closed source software (CSS), OSS can be freely used, modified, and redistributed. Its source code is also freely accessible A study of almost six million lines of code tracks how freely accessible source code holds up against time and multiple iterations

Static source code checking for user-defined properties
free download

Only a small fraction of the output generated by typical static analysis tools tends to reveal serious software defects. There are two main causes for this phenomenon. The first is that the typical static analyzer casts its nets too broadly, reporting everything reportable, rather

Plaggie: GNU-licensed source code plagiarism detection engine for Java exercises
free download

ABSTRACT A source code plagiarism detection engine Plaggie is presented. It is a stand- alone Java application that can be used to check Java programming exercises. Plaggies functionality is similar with previously published JPlag web service but unlike JPlag, Plaggie

A convolutional attention network for extreme summarization of source code
free download

Attention mechanisms in neural networks have proved useful for problems in which the input and output do not have fixed dimension. Often there exist features that are locally translation invariant and would be valuable for directing the models attention, but previous attentional

Using Heuristic Search Techniques To Extract Design Abstractions From Source Code .
free download

As modern software systems are large and complex, appropriate abstractions of their structure are needed to make them more understandable and, thus, easier to maintain. Software clustering tools are useful to support the creation of these abstractions. In this

Identifying authorship by byte-level n-grams: The source code author profile (scap) method
free download

Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios where digital evidence of this kind plays a role in investigation and adjudication, such as code

Structured generative models of natural source code
free download

We study the problem of building generative models of natural source code (NSC); that is, source code written by humans and meant to be understood by humans. Our primary contribution is to describe new generative models that are tailored to NSC. The models are

Bimodal modelling of source code and natural language
free download

We consider the problem of building probabilistic models that jointly model short natural language utterances and source code snippets. The aim is to bring together recent work on statistical modelling of source code and work on bimodal models of images and natural

Reading source code .
free download

Source code is, among other things, a text to be read. In this paper I argue that reading source code is a key activity in software maintenance, and that we can profitably apply experiences and reading systems from text databases to the problem of reading source

Visualizing Software Product Line Variabilities in Source Code .
free download

Implementing software product lines is a challenging task. Depending on the implementation technique the code that realizes a feature is often scattered across multiple code units. This way it becomes difficult to trace features in source code which hinders

Source code instrumentation and quantification of events
free download

ABSTRACT Aspect-Oriented Programming is making quantified programmatic assertions over programs that otherwise are not annotated to receive these assertions. Varieties of AOP systems are characterized by which quantified assertions they allow, what they permit in the

A UNIX clone with source code for operating systems courses
free download

Students learn by doing, not by listening. Physicists and chemists have long understood this, which is why students in these fields are required to perform experiments in the laboratory and write up their findings. Computer scientists also realize this basic truth, so many courses

Architecture of a source code exploration tool: A software engineering case study
free download

We discuss the design of a software system that helps software engineers (SEs) to perform the task we call just in time comprehension (JITC) of large bodies of source code . We discuss the requirements for such a system and how they were gathered by studying SEs at

Phishing websites detection based on phishing characteristics in the webpage source code
free download

ABSTRACT World Wide Web Consortium (W3C) is the international standards organization for the World Wide Web (www). It develops standards, specifications and recommendations to enhance the interoperability and maximize consensus about the content of the web and

IRiSS-A Source Code Exploration Tool.
free download

Abstract IRiSS (Information Retrieval based Software Search) is a software exploration tool that uses an indexing engine based on an information retrieval method. IRiSS is implemented as an add-in to the Visual Studio .NET development environment and it allows

Source code review of the Diebold voting system
free download

This report is a security analysis of the Diebold voting system, which consists primarily of the AccuVote-TSX (AV-TSX) DRE, the AccuVote-OS (AV-OS) optical scanner, and the GEMS election management system. It is based on a study of the systems source code that we

Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code .
free download

Bug reports provide an effective way for end-users to disclose potential bugs hidden in a software system, while automatically locating the potential buggy source code according to a bug report remains a great challenge in software maintenance. Many previous studies

PDE4Java: Plagiarism Detection Engine For Java, Source Code : A Clustering Approach.
free download

The educational community across the world is facing the increasing problem of plagiarism. This widespread problem has motivated the need of an efficient, robust and fast detection procedure that is difficult to be achieved manually. The Plagiarism Detection Engine for Java

Intent operationalisation for source code generation
free download

In the research on software development, there was less achievement in an efficient general development methodology that could be effective and sufficient in dealing with a wide range of software problems related to different domains. Also a challenge of having a universal
annotations such as invariants, pre-and postconditions. These annotations can be more precise than simple types. For example, a sorting routine might be annotated with a postcondition stating that its

JavaScript Template Attacks: Automatically Inferring Host Information for Targeted Exploits
free download

Today, more and more web browsers and extensions provide anonymity features to hide user details. Primarily used to evade tracking by websites and advertisements, these features are also used by criminals to prevent identification. Thus, not only tracking

JaVerT 2.0: Compositional Symbolic Execution for JavaScript
free download

The motivation for writing this book was the lack of resources available about data structures and algorithms written in JavaScript . This was strange to me because today many of the job opportunities for software development require knowledge of JavaScript ; it is the only

BUGSJS: A Benchmark of JavaScript Bugs
free download

JavaScript is a popular programming language that is also error-prone due to its asynchronous, dynamic, and loosely-typed nature. In recent years, numerous techniques have been proposed for analyzing and testing JavaScript applications. However, our survey

JS-son-A Minimal JavaScript BDI Agent Library
free download

There is a multitude of agent-oriented software engineering frameworks available, most of them produced by the academic multi-agent systems community. However, these frameworks often impose programming paradigms on their users that are hard to learn for

NL2Type: Inferring JavaScript Function Types from Natural Language Information
free download

JavaScript is dynamically typed and hence lacks the type safety of statically typed languages, leading to suboptimal IDE support, difficult to understand APIs, and unexpected runtime behavior. Several gradual type systems have been proposed, eg, Flow and

IN31B-30: NCO-JSON: A Flexible, Complete JavaScript Object Notation for netCDF
free download

JavaScript Object Notation (JSON) is a widely used text format for data exchange. Previous netCDFtoJSON translators were incomplete or overly complex. Here we describe NCOJSON, a flexible JSON format that describes any classic or extended format netCDF

A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs
free download

We propose Escapin, a JavaScript transpiler for developing application programs that consume APIs and are deployed on cloud services in order to obtain new business concepts by trial-and-error iterations. Escapin tackles two difficulties in consuming API and using

Tool Choice Matters: JavaScript Quality Assurance Tools and Usage Outcomes in GitHub Projects
free download

Quality assurance automation is essential in modern software development. In practice, this automation is supported by a multitude of tools that fit different needs and require developers to make decisions about which tool to choose in a given context. Data and

Time Present and Time Past: Analyzing the Evolution of JavaScript Code in the Wild
free download

JavaScript is one of the webs key building blocks. It is used by the majority of web sites and it is supported by all modern browsers. We present the first large-scale study of client-side JavaScript code over time. Specifically, we have collected and analyzed a dataset





- -

FREE IEEE PAPER