Browse Papers

displaying 1 - 50 papers in total 51
Filter
Static automated program repair for heap properties
Rijnard van Tonder | 2018
None
Self-Hiding Behavior in Android Apps: Detection and Characterization
Zhiyong Shan | 2018
None
LibRadar: fast and accurate detection of third-party libraries in Android apps
Ziang Ma | 2017
None
srcSlice: A Tool for Efficient Static Forward Slicing
Christian D. Newman | 2017
static forward program slicing srcml static program analysis
None
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
Leen Lambers | 2018
None
AnATLyzer: An Advanced IDE for ATL Model Transformations
Jesús Sánchez Cuadrado | 2018
model-driven engineering atl static analysis model transformation verification
None
Inferring and Asserting Distributed System Invariants
Stewart Grant | 2018
None
Feedback-Based Debugging
Yun Lin | 2017
None
Angelix: scalable multiline program patch synthesis via symbolic analysis
Sergey Mechtaev | 2016
None
Analysis of JavaScript Web Applications Using SAFE 2.0
Jihyeok Park | 2017
None
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Cong Wang | 2018
assertion recommendation program weakness formal program verification program testing
None
Supporting software developers with a holistic recommender system
Luca Ponzanelli | 2017
None
Precise condition synthesis for program repair
Gang Huang | 2017
None
An Efficient, Robust, and Scalable Approach for Analyzing Interacting Android Apps
Yutaka Tsutano | 2017
None
JDeodorant: Clone Refactoring
Davood Mazinanian | 2017
refactorability analysis refactoring code duplication
None
Multi-view editing of software product lines with PEoPL
Mukelabai Mukelabai | 2018
annotative modular product lines projectional editing
None
Online app review analysis for identifying emerging issues
Cuiyun Gao | 2018
App reviews online analysis emerging issues
None
RADAR: a lightweight tool for requirements and architecture decision analysis
Saheed A. Busari | 2017
None
RClassify: classifying race conditions in web applications via deterministic replay
Lu Zhang | 2017
None
MDebugger: a model-level debugger for UML-RT
Mojtaba Bagherzadeh | 2018
mde real-time and embedded systems model-driven development mdd model-based debugging uml-rt
None
Time to clean your test objectives
Michaël Marcozzi | 2018
None
Learning syntactic program transformations from examples
Reudismam Rolim | 2017
None
Stochastic optimization of program obfuscation
Yu Jiang | 2017
None
Online app review analysis for identifying emerging issues
Cuiyun Gao | 2018
None
Toward Arbitrary Mapping for Debugging Visualizations
Vaibhav Saini | 2017
debugging visualization visualization debuggers
None
On the time-based conclusion stability of cross-project defect prediction models
Abdul Ali Bangash | 2019
None
Perceval: software project data at your will
Santiago Dueñas | 2018
mining repositories
None
Goal-Conflict Likelihood Assessment based on Model Counting
Renzo Degiovanni | 2018
None
Identifying patch correctness in test-based program repair
Yingfei Xiong | 2018
None
Travioli: a dynamic analysis for detecting data-structure traversals
Rohan Padhye | 2017
None
SMUG: a Selective MUtant Generator tool
Simone Romano | 2017
selective mutant generator tool regression testing mutant seeded fault smug
None
UFO: predictive concurrency use-after-free detection
Jeff Huang | 2018
None
Fine-Grained Test Minimization
Arash Vahabzadeh | 2018
None
How bugs are born: a model to identify how bugs are introduced in software components
Gema Rodríguez-Pérez | 2020
None
GuideGen: a tool for keeping requirements and acceptance tests aligned
Sofija Hotomski | 2018
software evolution software notations and tools requirements analysis acceptance testing
None
A Guided Genetic Algorithm for Automated Crash Reproduction
Mozhan Soltani | 2017
None
DroidBot: A Lightweight UI-Guided Test Input Generator for Android
Yuanchun Li | 2017
dynamic analysis compatibility testing android malware detection automated testing
None
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions
Hao Sun | 2016
None
LibD: Scalable and Precise Third-party Library Detection in Android Markets
Menghao Li | 2017
None
An empirical comparison of dependency network evolution in seven software packaging ecosystems
Alexandre Decan | 2017
None
Symbolic Model Extraction for Web Application Verification
Ivan Bocić | 2017
None
A benchmark-based evaluation of search-based crash reproduction
Mozhan Soltani | 2019
None
Navigation-aware and Personalized Prefetching of Network Requests in Android Apps
Ivano Malavolta | 2019
Personalization android Network prefetching
None
Using black-box performance models to detect performance regressions under varying workloads: an empirical study
Lizhi Liao | 2020
None