Automatically discovering, reporting and reproducing android application crashes
K Moran, M Linares-Vásquez… - … on software testing …, 2016 - ieeexplore.ieee.org
Mobile developers face unique challenges when detecting and reporting crashes in apps
due to their prevailing GUI event-driven nature and additional sources of inputs (eg, sensor …
due to their prevailing GUI event-driven nature and additional sources of inputs (eg, sensor …
Guiding dynamic symbolic execution toward unverified program executions
Most techniques to detect program errors, such as testing, code reviews, and static program
analysis, do not fully verify all possible executions of a program. They leave executions …
analysis, do not fully verify all possible executions of a program. They leave executions …
Survey of approaches for handling static analysis alarms
T Muske, A Serebrenik - 2016 IEEE 16th International Working …, 2016 - ieeexplore.ieee.org
Static analysis tools have showcased their importance and usefulness in automated
detection of code anomalies and defects. However, the large number of alarms reported and …
detection of code anomalies and defects. However, the large number of alarms reported and …
Directed synthesis of failing concurrent executions
M Samak, O Tripp, MK Ramanathan - Proceedings of the 2016 ACM …, 2016 - dl.acm.org
Detecting concurrency-induced bugs in multithreaded libraries can be challenging due to
the intricacies associated with their manifestation. This includes invocation of multiple …
the intricacies associated with their manifestation. This includes invocation of multiple …
UCov: a user‐defined coverage criterion for test case intent verification
The goal of regression testing is to ensure that the behaviour of existing code, believed
correct by previous testing, is not altered by new program changes. This paper argues that …
correct by previous testing, is not altered by new program changes. This paper argues that …
Extending static code analysis with application-specific rules by analyzing runtime execution traces
Static analysis tools cannot detect violations of application-specific rules. They can be
extended with specialized checkers that implement the verification of these rules. However …
extended with specialized checkers that implement the verification of these rules. However …
Combining Static and Dynamic Analysis for Bug Detection and Program Understanding
K Li - 2016 - scholarworks.umass.edu
This work proposes new combinations of static and dynamic analysis for bug detection and
program understanding. There are 3 related but largely independent directions: a) In the …
program understanding. There are 3 related but largely independent directions: a) In the …
Performance optimisation of clustered java systems
AO Portillo Dominguez - 2016 - astonshire.com
Nowadays, clustered environments are commonly used in enterprise-level applications to
achieve faster response time and higher throughput than single machine environments …
achieve faster response time and higher throughput than single machine environments …
[图书][B] Performance optimisation of clustered Java systems
AOP Dominguez - 2016 - search.proquest.com
Nowadays, clustered environments are commonly used in enterprise-level applications to
achieve faster response time and higher throughput than single machine environments …
achieve faster response time and higher throughput than single machine environments …
On Oracles for Automated Diagnosis and Repair of Software Bugs
M Monperrus - 2016 - theses.hal.science
This HDR focuses on my work on automatic diagnosis and repair done over the past years.
Among my past publications, it highlights three contributions on this topic, respectively …
Among my past publications, it highlights three contributions on this topic, respectively …