From quick fixes to slow fixes: Reimagining static analysis resolutions to enable design space exploration

T Barik, Y Song, B Johnson… - 2016 IEEE International …, 2016 - ieeexplore.ieee.org
Quick Fixes as implemented by IDEs today prioritize the speed of applying the fix as a
primary criteria for success. In this paper, we argue that when tools over-optimize this …

Identity based proxy-signcryption scheme from pairings

X Li, K Chen - IEEE International Conference onServices …, 2004 - ieeexplore.ieee.org
An identity-based cryptosystem is a novel type of public cryptographic scheme in which the
public keys of the users are their identities or strings derived from their identities. A …

Interactive extraction of examples from existing code

A Head, EL Glassman, B Hartmann… - Proceedings of the 2018 …, 2018 - dl.acm.org
Programmers frequently learn from examples produced and shared by other programmers.
However, it can be challenging and time-consuming to produce concise, working code …

Extending the openshmem analyzer to perform synchronization and multi-valued analysis

S Pophale, O Hernandez, S Poole… - … MD, USA, March 4-6, 2014 …, 2014 - Springer
OpenSHMEM Analyzer (OSA) is a compiler-based tool that provides static analysis
forOpenSHMEMprograms. It was developed with the intention of providing feedback to the …

Characterizing non-deadlock concurrency bug fixes in open-source Java programs

M Yu, YS Ma, DH Bae - Proceedings of the 31st Annual ACM …, 2016 - dl.acm.org
Fixing a non-deadlock concurrency bug is a difficult job that sometimes introduces additional
bugs and requires a long time. To overcome this difficulty and efficiently perform fixing jobs …

Non-deterministic tests and where to find them: Empirically investigating the relationship between flaky tests and test smells by examining test order dependency

S Lamprou - 2022 - diva-portal.org
Flaky tests are non-deterministic tests that both pass and fail when no new code changes
have been introduced to the code under test. This is a widespread problem for the …

[PDF][PDF] More Usable Recommendation Systems for Improving Software Quality.

Y Song - 2014 - repository.lib.ncsu.edu
ABSTRACT SONG, YOONKI. More Usable Recommendation Systems for Improving
Software Quality.(Under the direction of Emerson Murphy-Hill.) Recommendation systems …

Refactoring for Secure Java Program

SV Suguna - 2018 - search.proquest.com
Refactoring is a form of restructuring a program without changing the semantics of the
program. Code smells are design flaws that cause deeper problems in a program. Often …

Automatically Fixing Syntax Errors Using the Levenshtein Distance

LNAJS Jooty, S Nagowah - ADBU Journal of …, 2016 - journals.dbuniversity.ac.in
To ensure high quality software, much emphasis is laid on software testing. While a number
of techniques and tools already exist to identify and locate syntax errors, it is still the duty of …

Static Analysis Tool for Synchronization Analysis, Representation, and Optimizations for Applications Using OpenSHMEM

SS Pophale - 2014 - uh-ir.tdl.org
Programming models provide application developers abstraction from the underlying
hardware. OpenSHMEM library follows the Partitioned Global Address Space programming …