Iulian Neamtiu

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

LiveDroid: identifying and preserving mobile app state in volatile runtime environments.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Knock, Knock. Who's There? On the Security of LG's Knock Codes.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Symposium on Usable Privacy and Security, 2020

Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Elix: Path-Selective Taint Analysis for Extracting Mobile App Links.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Device Administrator Use and Abuse in Android: Detection and Characterization.

[BibT_eX]

[DOI]

Zhiyong Shan

Raina Samuel

Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

SmokeOut: An Approach for Testing Clustering Implementations.

[BibT_eX]

[DOI]

Vincenzo Musco

Xin Yin

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Dynamic slicing for Android.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Statistically Rigorous Testing of Clustering Implementations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Self-hiding behavior in Android apps: detection and characterization.

[BibT_eX]

[DOI]

Zhiyong Shan

Raina Samuel

Proceedings of the 40th International Conference on Software Engineering, 2018

On the effectiveness of random testing for Android: or how i learned to stop worrying and love the monkey.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Static Detection of Event-based Races in Android Apps.

[BibT_eX]

[DOI]

Srikanth V. Krishnamurthy

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

ZapDroid: Managing Infrequently Used Applications on Smartphones.

[BibT_eX]

[DOI]

Indrajeet Singh

Harsha V. Madhyastha

IEEE Trans. Mob. Comput., 2017

Improving Smartphone Security and Reliability.

[BibT_eX]

[DOI]

J. Interconnect. Networks, 2017

Characterizing the behavior of handheld devices and its implications.

[BibT_eX]

[DOI]

Comput. Networks, 2017

Defining and Detecting Environment Discrimination in Android Apps.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

2016

Finding resume and restart errors in Android applications.

[BibT_eX]

[DOI]

Zhiyong Shan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Automatically verifying and reproducing event-based races in Android apps.

[BibT_eX]

[DOI]

Arash Alavi

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Proving Concurrent Data Structures Linearizable.

[BibT_eX]

[DOI]

Vineet Singh

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

VALERA: an effective and efficient record-and-replay tool for android.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Fuzzy and cross-app replay for smartphone apps.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

Efficient Processing of Large Graphs via Input Reduction.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, 2016

Automatic fault location for data structures.

[BibT_eX]

[DOI]

Vineet Singh

Proceedings of the 25th International Conference on Compiler Construction, 2016

Safe and flexible adaptation via alternate data structure representations.

[BibT_eX]

[DOI]

Amlan Kusum

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

MG++: Memory graphs for analyzing dynamic data structures.

[BibT_eX]

[DOI]

Vineet Singh

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Improving the Android development lifecycle with the VALERA record-and-replay approach.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Versatile yet lightweight record-and-replay for Android.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Proactive restart as cyber maneuver for Android.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Military Communications Conference, 2015

A framework to evaluate cyber agility.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Military Communications Conference, 2015

Size Oblivious Programming with InfiniMem.

[BibT_eX]

[DOI]

Sai Charan Koduru

Proceedings of the Languages and Compilers for Parallel Computing, 2015

Experience report: How do bug characteristics differ across severity classes: A multi-platform study.

[BibT_eX]

[DOI]

Bo Zhou

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

A behavior-aware profiling of handheld devices.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Whom Does Your Android App Talk To?

[BibT_eX]

[DOI]

Xuetao Wei

Michalis Faloutsos

Proceedings of the 2015 IEEE Global Communications Conference, 2015

A cross-platform analysis of bugs and bug-fixing in open source projects: desktop vs. Android vs. iOS.

[BibT_eX]

[DOI]

Bo Zhou

Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015

Predicting concurrency bugs: how many, what kind and where are they?

[BibT_eX]

[DOI]

Bo Zhou

Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015

2014

Adapting Graph Application Performance via Alternate Data Structure Representation.

[BibT_eX]

[DOI]

Amlan Kusum

CoRR, 2014

Towards self-healing smartphone software via automated patching.

[BibT_eX]

[DOI]

Lisa M. Marvel

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Determining Developers' Expertise and Role: A Graph Hierarchy-Based Approach.

[BibT_eX]

[DOI]

Srikanth V. Krishnamurthy

Michalis Faloutsos

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing.

[BibT_eX]

[DOI]

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

Security and Science of Agility.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Moving Target Defense, 2014

2013

Towards a better understanding of software evolution: an empirical study on open-source software.

[BibT_eX]

[DOI]

Guowu Xie

Jianbo Chen

J. Softw. Evol. Process., 2013

Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012).

[BibT_eX]

[DOI]

Karla Saur

ACM SIGOPS Oper. Syst. Rev., 2013

Competing Memes Propagation on Networks: A Network Science Perspective.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2013

A state alteration and inspection-based interactive debugger.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Targeted and depth-first exploration for systematic testing of android apps.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Smartphone viruses propagation on heterogeneous composite networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Network Science Workshop, 2013

Generating sound and effective memory debuggers.

[BibT_eX]

[DOI]

Yan Wang

Proceedings of the International Symposium on Memory Management, 2013

Relevant inputs analysis and its applications.

[BibT_eX]

[DOI]

Yan Wang

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Programming Support for Speculative Execution with Software Transactional Memory.

[BibT_eX]

[DOI]

Min Feng

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

RERAN: timing- and touch-sensitive record and replay for Android.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

An Empirical Analysis of Bug Reports and Bug Fixing in Open Source Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Improving Cloud Availability with On-the-fly Schema Updates.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Management of Data, 2013

2012

Report on the third workshop on hot topics in software upgrades (HotSWUp'11).

[BibT_eX]

[DOI]

Christopher M. Hayden

ACM SIGOPS Oper. Syst. Rev., 2012

Automated, highly-accurate, bug assignment using machine learning and tossing graphs.

[BibT_eX]

[DOI]

Christian R. Shelton

J. Syst. Softw., 2012

Competing memes propagation on networks: a case study of composite networks.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2012

Effective parallelization of loops in the presence of I/O operations.

[BibT_eX]

[DOI]

Min Feng

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

ProfileDroid: multi-layer profiling of android applications.

[BibT_eX]

[DOI]

Proceedings of the 18th Annual International Conference on Mobile Computing and Networking, 2012

Graph-based analysis and prediction for software evolution.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Malicious Android Applications in the Enterprise: What Do They Do and How Do We Fix It?

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the IEEE 28th International Conference on Data Engineering, 2012

How to have your cake and eat it too: Dynamic software updating with just-in-time overhead.

[BibT_eX]

[DOI]

Rida A. Bazzi

Bryan Topp

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

Permission evolution in the Android ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011

Experimental Challenges in Cyber Security: A Story of Provenance and Lineage for Malware.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Cyber Security Experimentation and Test, 2011

A GUI bug finding framework for Android applications.

[BibT_eX]

[DOI]

Cuixiong Hu

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Bug-fix time prediction models: can we do better?

[BibT_eX]

[DOI]

Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

Cloud software upgrades: Challenges and opportunities.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2011

Elastic executions from inelastic programs.

[BibT_eX]

[DOI]

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Automating GUI testing for Android applications.

[BibT_eX]

[DOI]

Cuixiong Hu

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Assessing programming language impact on development and maintenance: a study on c and c++.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Schema evolution analysis for embedded databases.

[BibT_eX]

[DOI]

Shengfeng Wu

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2010

Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/.

[BibT_eX]

[DOI]

Eli Tilevich

ACM SIGOPS Oper. Syst. Rev., 2010

Fine-grained incremental learning and multi-feature tossing graphs to improve bug triaging.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Studying Software Evolution for Taming Software Complexity.

[BibT_eX]

[DOI]

Steve D. Suh

Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010

2009

Safe and timely updates to multi-threaded programs.

[BibT_eX]

[DOI]

Michael W. Hicks

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Second ACM workshop on hot topics in software upgrades (HotSWUp 2009).

[BibT_eX]

[DOI]

Eli Tilevich

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Collateral evolution of applications and databases.

[BibT_eX]

[DOI]

Dien-Yen Lin

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

2008

Practical Dynamic Software Updating.

[BibT_eX]

[DOI]